Theorem MvPFunctor.wInd_wMk

Modification history

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