Theorem Subtype.heq_iff_coe_eq

Modification history