Theorem ZMod.χ₄_int_one_mod_four

Modification history