Prj

📁 Source: Mathlib/Data/QPF/Multivariate/Constructions/Prj.lean

Statistics

Metric	Count
Definitions Prj, P, abs, inhabited, map, mvfunctor, mvqpf, repr	8
Theorems	0
Total	8

MvQPF

Definitions

Name	Category	Theorems
Prj 📖	CompOp	—

MvQPF.Prj

Definitions

Name	Category	Theorems
P 📖	CompOp	—
abs 📖	CompOp	—
inhabited 📖	CompOp	—
map 📖	CompOp	—
mvfunctor 📖	CompOp	—
mvqpf 📖	CompOp	—
repr 📖	CompOp	—

---

← Back to Index