Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-24 13:36 1eaa2928

View on Github →

feat(finset): add has_sep instance (#1477)

Estimated changes

Modified src/data/finset.lean

added theorem finset.filter_congr_decidable

added theorem finset.sep_def

Modified test/examples.lean