Theorem Finsupp.mapRange_comp

Modification history

2025-11-14 09:22
Mathlib/Data/Finsupp/Defs.lean
chore(Finsupp): move `mapRange.equiv` earlier (#31324) …
Modified Finsupp.mapRange_compView on Github →
2023-01-27 13:32
Mathlib/Data/Finsupp/Defs.lean
feat: port Data.Finsupp.Defs (#1807)
Added Finsupp.mapRange_compView on Github →