Theorem Polynomial.mem_ker_modByMonic

Modification history