Def MvPFunctor.wCases

Modification history

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