Theorem Polynomial.mod_eq_self_iff

Modification history