Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-22 13:14 c8961621

View on Github →

feat(data/finset/basic) eq_of_mem_singleton (#10414) The finset equivalent of set.eq_of_mem_singleton

Estimated changes