Theorem isCyclic_of_card_pow_eq_one_le

Modification history