Theorem Finsupp.embDomain_comapDomain

Modification history

2024-01-12 08:24
Mathlib/Data/Finsupp/Basic.lean
feat: add `Finset.piAntidiagonal` (#7904) …
Added Finsupp.embDomain_comapDomainView on Github →