Theorem QuotientGroup.mk'_eq_mk'

Modification history