Theorem QuotientGroup.integral_mul_eq_integral_automorphize_mul

Modification history