Theorem coprime_card_of_isCyclic_prod

Modification history