Theorem exists_subtype_mk_eq_iff

Modification history