Theorem Polynomial.map_surjective_iff

Modification history