Quot

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

Statistics

Metric	Count
Definitions Quot1, inhabited, map, mvFunctor, quotientQPF, relQuot	6
Theorems	0
Total	6

MvQPF

Definitions

Name	Category	Theorems
Quot1 📖	CompOp	—
quotientQPF 📖	CompOp	—
relQuot 📖	CompOp	—

MvQPF.Quot1

Definitions

Name	Category	Theorems
inhabited 📖	CompOp	—
map 📖	CompOp	—
mvFunctor 📖	CompOp	—

---

← Back to Index