Def MvQPF.Prj.map

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.map View on Github →