Skip to content

chore(Data/PFunctor): reduce defeq abuse around PFunctor.W - #43095

Open
plp127 wants to merge 14 commits into
leanprover-community:masterfrom
plp127:aliu/PFunctor-W
Open

chore(Data/PFunctor): reduce defeq abuse around PFunctor.W#43095
plp127 wants to merge 14 commits into
leanprover-community:masterfrom
plp127:aliu/PFunctor-W

fix multivariate W

c01493b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Aug 26, 2026 in 1m 15s