Theorem SubringClass.coe_intCast

Modification history