mathlib3

a220286a - feat(subtype): standardize (#3204)

feat(subtype): standardize (#3204) Add simp lemma from x.val to coe x Use correct ext/ext_iff naming scheme Use coe in more places in the library