Theorem QuotientGroup.norm_mk_eq_zero

Modification history