Commit 2023-03-05 21:29 002117f1

View on Github →

feat: sync Data.Finset.Basic (#2657)

Estimated changes

Modified Mathlib/Data/Finset/Basic.lean

added theorem Finset.erase_cons_of_ne

added theorem Finset.toList_eq_singleton_iff

added theorem Finset.toList_singleton

added theorem Finset.val_eq_singleton_iff