Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.bInter_inter

Modification history

2021-05-10 07:36

src/data/set/lattice.lean

feat(data/set/lattice): (b)Union and (b)Inter lemmas (#7557) …

Added set.bInter_inter View on Github →