Theorem ZMod.neg_eq_self_mod_two

Modification history