Theorem Finsupp.mapRange_mapRange

Modification history

2025-11-14 09:22

Mathlib/Data/Finsupp/Defs.lean

chore(Finsupp): move `mapRange.equiv` earlier (#31324) …

Modified Finsupp.mapRange_mapRange View on Github →

2024-10-11 09:39

Mathlib/Data/Finsupp/Defs.lean

feat: `Finsupp.mapRange` of a surjective function is surjective (#17637) …

Added Finsupp.mapRange_mapRange View on Github →