Theorem QuotientGroup.mk'_apply

Modification history