Theorem QuotientGroup.mk'_comp_subtype

Modification history