Theorem Subring.coe_nat_cast

Modification history