Theorem Polynomial.map_mod_divByMonic

Modification history