Theorem set.Inter_const
Modification history
2023-01-08 09:48
src/data/set/lattice.lean
feat(data/{set,finset}/basic): Convenience lemmas (#17957) …
Modified set.Inter_constView on Github →2021-08-11 02:38
src/data/set/lattice.lean
docs(data/set/lattice): add module docstring (#8250) …
Modified set.Inter_constView on Github →2021-02-28 17:40
src/data/set/lattice.lean
feat(data/set): more lemmas (#6474)
Modified set.Inter_constView on Github →