Theorem Group.isCyclic_of_coprime_card_ker

Modification history