Theorem Polynomial.map_divByMonic

Modification history