Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.inter_Union

Modification history

2019-06-19 08:03

src/data/set/lattice.lean

feat(data/set): simple lemmas, renaming (#1137) …

Added set.inter_Union View on Github →