Theorem ZMod.χ₄_int_mod_four

Modification history