Theorem Finsupp.coe_nsmul

Modification history

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