Theorem Polynomial.zero_modByMonic

Modification history