Theorem Group.isCyclic_prod_iff

Modification history