Theorem DFinsupp.support_single

Modification history

2026-05-06 18:10
Mathlib/Data/DFinsupp/Defs.lean
chore(Data/Finsupp): make `support_single` simp (#38860) …
Added DFinsupp.support_singleView on Github →