Theorem Subtype.mk_eq_mk

Modification history