Def Finsupp.mapDomain.linearEquiv

Modification history

2025-06-03 11:40
Mathlib/LinearAlgebra/Finsupp/Defs.lean
refactor(Algebra/Module/Projective): generalize universes (#24697) …
Added Finsupp.mapDomain.linearEquivView on Github →