Theorem Polynomial.monic_map_iff

Modification history