Theorem QuotientGroup.mk'_surjective

Modification history