Theorem QuotientGroup.preimage_image_mk_eq_mul

Modification history