Theorem Finsupp.support_single

Modification history

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