Theorem IsCyclic.card_pow_eq_one_le

Modification history