Theorem QuotientGroup.norm_mk_le_norm

Modification history