Theorem QuotientGroup.mk_surjective

Modification history