Skip to content

feat: add DFinsupp.mapDomain to match Finsupp.mapDomain#38977

Open
eric-wieser wants to merge 12 commits into
leanprover-community:masterfrom
eric-wieser:dfinsupp-mapDomain
Open

feat: add DFinsupp.mapDomain to match Finsupp.mapDomain#38977
eric-wieser wants to merge 12 commits into
leanprover-community:masterfrom
eric-wieser:dfinsupp-mapDomain

fix dependent type issues

a60ac7c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 13, 2026 in 1m 18s