Theorem Finsupp.degree_mapDomain

Modification history

2026-05-10 01:42
Mathlib/Data/Finsupp/Weight.lean
feat(Data/Finsupp/Weight): add `Finsupp.degree_mapDomain` (#38656) …
Added Finsupp.degree_mapDomainView on Github →