so8res: "I would set up the page as follows:
A group homomorphism is X. Key properties of group homomorphisms include:
- Thing. Implications implications implications. ([ Proof.])
- Thing. Implications implications. ([ Proof.])
…
I'd then eventually add an intro lens."
Having proofs on child pages makes sense to me too.