Theorem Polynomial.nat_cast_inj

Modification history