Mathlib v3 is deprecated. Go to Mathlib v4

Def set.sUnion

Modification history

2022-06-15 23:36
src/data/set/lattice.lean
chore(*): Bump to Lean 3.43.0 (#14684) …
Added set.sUnionView on Github →