Theorem set.subset.antisymm_iff
Modification history
2018-04-03 21:23
data/set/lattice.lean
fix(*): update to lean …
Deleted set.subset.antisymm_iffView on Github →2018-04-01 22:10
data/set/basic.lean
feat(data/set/basic): add some more set lemmas
Added set.subset.antisymm_iffView on Github →