Def MvPFunctor.wInd

Modification history

2026-03-22 10:55
Mathlib/Data/PFunctor/Multivariate/W.lean
feat(Data/PFunctor): Universe generic W (#36069) …
Added MvPFunctor.wIndView on Github →