Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-15 10:36 c574e387

View on Github →

feat(data/finsupp/basic): Add finsupp.erase_of_not_mem_support (#10689) Analogous to list.erase_of_not_mem

Estimated changes