Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-16 17:35 49040e50

View on Github →

feat(data/set): sep true/false simp lemmas (#7215)

Estimated changes

Modified src/data/set/basic.lean

added theorem set.sep_false

added theorem set.sep_true