Theorem ZMod.χ₈'_eq_χ₄_mul_χ₈

Modification history