Theorem ZMod.χ₈_nat_eq_if_mod_eight

Modification history