Commit 2020-06-28 06:01 a220286a
View on Github →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
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