Theorem QuotientGroup.integral_eq_integral_automorphize

Modification history