Theorem ZMod.χ₈'_nat_eq_if_mod_eight

Modification history