Theorem Polynomial.eval₂_modByMonic_eq_self_of_root

Modification history