Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-02 11:47 225dd84e

View on Github →

feat(data/set/lattice): add more lemmas pertaining to bInter, bUnion

Estimated changes

Modified data/set/lattice.lean

added theorem set.bInter_subset_bInter_right

added theorem set.bUnion_subset_bUnion_right

added theorem set.compl_bInter

added theorem set.compl_bUnion