Theorem Polynomial.int_cast_inj

Modification history