Theorem ZMod.isCyclic_units_two_pow_iff

Modification history