Theorem Subtype.coe_eq_of_eq_mk

Modification history