Def MvQPF.Prj.P

Modification history

2023-02-21 08:42
Mathlib/Data/QPF/Multivariate/Constructions/Prj.lean
feat: Port Data.QPF.Multivariate.Constructions.Prj (#2226)
Added MvQPF.Prj.PView on Github →