Theorem Polynomial.modByMonic_eq_self_iff

Modification history