Theorem Finsupp.mapRange_smul'

Modification history

2025-05-07 05:57
Mathlib/Data/Finsupp/SMulWithZero.lean
chore: start semilinearizing LinearAlgebra.Finsupp (#24170)
Added Finsupp.mapRange_smul'View on Github →