Theorem Finsupp.mapDomain_congr

Modification history

2026-08-14 05:41
Mathlib/Data/Finsupp/Basic.lean
chore(Data/Finsupp): make `mapDomain_congr` congr (#39575) …
Modified Finsupp.mapDomain_congrView on Github →
2023-02-01 05:31
Mathlib/Data/Finsupp/Basic.lean
feat: port Data.Finsupp.Basic (#1949) …
Added Finsupp.mapDomain_congrView on Github →