Theorem Finsupp.update_apply

Modification history

2025-11-24 08:57
Mathlib/Data/Finsupp/Single.lean
feat: `grind` annotations for `Finsupp` (#31932)
Added Finsupp.update_applyView on Github →