Commit 2020-07-27 20:50 2ecf70f7
View on Github →feat(data/finset/basic): more lemmas on finsets of subtypes (#3575)
Add two more lemmas related to not_mem_map_subtype_of_not_property
.
feat(data/finset/basic): more lemmas on finsets of subtypes (#3575)
Add two more lemmas related to not_mem_map_subtype_of_not_property
.