Theorem Polynomial.map_injective_iff

Modification history