Def MvQPF.Prj.repr

Modification history

2023-10-19 09:56

Mathlib/Data/QPF/Multivariate/Constructions/Prj.lean

style: `CoeFun` for `PFunctor.Obj` & `MvPFunctor.Obj` (#7526)

Modified MvQPF.Prj.repr View on Github →

2023-02-21 08:42

Mathlib/Data/QPF/Multivariate/Constructions/Prj.lean

feat: Port Data.QPF.Multivariate.Constructions.Prj (#2226)

Added MvQPF.Prj.repr View on Github →