Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.Union_diff

Modification history

2019-06-19 08:03

src/data/set/lattice.lean

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

Added set.Union_diff View on Github →