Theorem Finsupp.mapDomain_fun_comp

Modification history

2026-08-14 05:41
Mathlib/Data/Finsupp/Basic.lean
chore(Data/Finsupp): make `mapDomain_congr` congr (#39575) …
Added Finsupp.mapDomain_fun_compView on Github →