Theorem Finsupp.filter_eq

Modification history

2026-05-05 13:49
Mathlib/Data/Finsupp/Basic.lean
feat(Data/Finsupp): filtering a single element (#38904) …
Added Finsupp.filter_eqView on Github →