Theorem Finsupp.nsmul_apply

Modification history

2025-08-13 12:33
Mathlib/Algebra/Group/Finsupp.lean
chore(Algebra/MonoidAlgebra): split Defs.lean further (#28030) …
Added Finsupp.nsmul_applyView on Github →