Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.Inter₂_union

Modification history

2022-07-18 08:49
src/data/set/lattice.lean
feat(topology/sets/closeds): The coframe of closed sets (#15338) …
Added set.Inter₂_unionView on Github →