Theorem set.inter_subset_right
Modification history
2021-01-27 18:19
src/data/set/basic.lean
refactor(data/set/basic): simpler proofs (#5920) …
Modified set.inter_subset_rightView on Github →2017-11-30 22:10
data/set/basic.lean
feat(data/analysis): calculations with filters / topologies + misc
Modified set.inter_subset_rightView on Github →