Sigma

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

Statistics

Metric	Count
Definitions P, abs, inhabited, inst, instMvFunctor, repr, P, abs, inhabited, inst, instMvFunctor, repr	12
Theorems	0
Total	12

MvQPF.Pi

Definitions

Name	Category	Theorems
P 📖	CompOp	—
abs 📖	CompOp	—
inhabited 📖	CompOp	—
inst 📖	CompOp	—
instMvFunctor 📖	CompOp	—
repr 📖	CompOp	—

MvQPF.Sigma

Definitions

Name	Category	Theorems
P 📖	CompOp	—
abs 📖	CompOp	—
inhabited 📖	CompOp	—
inst 📖	CompOp	—
instMvFunctor 📖	CompOp	—
repr 📖	CompOp	—

---

← Back to Index