Theorem DFinsupp.filter_eq'

Modification history

2026-05-05 13:49
Mathlib/Data/DFinsupp/Defs.lean
feat(Data/Finsupp): filtering a single element (#38904) …
Added DFinsupp.filter_eq'View on Github →