Theorem Polynomial.natCast_inj

Modification history