Mathlib v3 is deprecated. Go to Mathlib v4

Theorem disjoint.inter_left

Modification history

2022-12-21 14:13

src/data/set/basic.lean

chore(data/set/lattice): move basic lemmas to basic files (#17882) …

Modified disjoint.inter_left View on Github →

2021-08-02 12:31

src/data/set/lattice.lean

feat(order/bounded_lattice): add some disjoint lemmas (#8407) …

Added disjoint.inter_left View on Github →