Def MvQPF.Prj

Modification history

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