Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-02-08 22:39 6ef721ea

View on Github →

feat(data/finset): not_mem theorems Adapted from #44

Estimated changes

Modified data/finset.lean

added theorem finset.not_mem_singleton

added theorem finset.not_mem_union

Modified logic/basic.lean

added theorem ne_of_mem_of_not_mem