Theorem Finsupp.erase_update_eq_erase

Modification history

2024-01-01 22:36
Mathlib/Data/Finsupp/Defs.lean
feat: missing lemmas about `Finsupp.update` (#9316)
Added Finsupp.erase_update_eq_eraseView on Github →