Theorem set.sep_subset
Modification history
2021-09-07 19:33
src/data/set/basic.lean
chore(data/set/basic): add some simp attrs (#9074) …
Modified set.sep_subsetView on Github →2021-01-27 18:19
src/data/set/basic.lean
refactor(data/set/basic): simpler proofs (#5920) …
Modified set.sep_subsetView on Github →