Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.bInter_Union

Modification history

2022-01-31 09:46
src/data/set/lattice.lean
feat(data/set/lattice): review (#11672) …
Added set.bInter_UnionView on Github →