"so8res: "I would set up the..."

so8res: "I would set up the page as follows:

A group homomorphism is X. Key properties of group homomorphisms include:

1. Thing. Implications implications implications. ([ Proof.])
2. Thing. Implications implications. ([ Proof.])
   …

I'd then eventually add an intro lens."

Having proofs on child pages makes sense to me too.