Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-22 20:52 b5625759

View on Github →

feat(data/finset): add card_insert_of_mem (#3137)

Estimated changes