Theorem Finsupp.prod_equivMapDomain

Modification history

2024-07-09 09:09
Mathlib/Data/Finsupp/Basic.lean
chore: add missing spaces around = or := (#14554) …
Modified Finsupp.prod_equivMapDomainView on Github →
2024-01-12 08:24
Mathlib/Data/Finsupp/Basic.lean
feat: add `Finset.piAntidiagonal` (#7904) …
Added Finsupp.prod_equivMapDomainView on Github →