Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.disjoint_preimage

Modification history

2022-06-26 04:37
src/data/set/lattice.lean
feat(data/set/lattice): Preimages are disjoint iff the sets are disjoint (#14951) …
Deleted set.disjoint_preimageView on Github →
2021-11-04 15:29
src/data/set/lattice.lean
chore(data/set): lemmas about `disjoint` (#10148)
Added set.disjoint_preimageView on Github →