Theorem MvPFunctor.const.mk_get

Modification history

2023-10-19 09:56
Mathlib/Data/PFunctor/Multivariate/Basic.lean
style: `CoeFun` for `PFunctor.Obj` & `MvPFunctor.Obj` (#7526)
Modified MvPFunctor.const.mk_getView on Github →
2023-02-18 19:03
Mathlib/Data/PFunctor/Multivariate/Basic.lean
feat: port Data.Pfunctor.Multivariate.Basic (#1835)
Added MvPFunctor.const.mk_getView on Github →