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
feat(data/finset/basic) eq_of_mem_singleton (#10414)
The finset
equivalent of set.eq_of_mem_singleton