Theorem Subring.coe_set_mk

Modification history