Theorem Subring.coe_int_cast

Modification history