Theorem commutative_of_cyclic_center_quotient

Modification history