Theorem ZMod.units_pow_card_sub_one_eq_one

Modification history