Theorem Finsupp.mapDomain_comapDomain_nat_add_one

Modification history

2025-12-19 08:36
Mathlib/Data/Finsupp/Basic.lean
feat(LinearAlgebra): more on StrongRankCondition (#32194) …
Added Finsupp.mapDomain_comapDomain_nat_add_oneView on Github →