Theorem Subtype.heq_iff_coe_heq

Modification history