Theorem Finsupp.mapRange.linearEquiv_toAddEquiv
Modification history
2025-05-07 05:57
Mathlib/LinearAlgebra/Finsupp/Defs.lean
chore: start semilinearizing LinearAlgebra.Finsupp (#24170)
Modified Finsupp.mapRange.linearEquiv_toAddEquivView on Github →