Theorem Polynomial.nat_cast_comp

Modification history