FiniteMultiequalizer

📁 Source: Mathlib/CategoryTheory/Limits/Shapes/FiniteMultiequalizer.lean

Statistics

Metric	Count
Definitions instFinCategoryOfLOfDecidableEqR, instFintype, instFinCategoryOfLOfDecidableEqR, instFintype	4
Theorems	0
Total	4

CategoryTheory.Limits.WalkingMulticospan

Definitions

Name	Category	Theorems
instFinCategoryOfLOfDecidableEqR 📖	CompOp	—
instFintype 📖	CompOp	—

CategoryTheory.Limits.WalkingMultispan

Definitions

Name	Category	Theorems
instFinCategoryOfLOfDecidableEqR 📖	CompOp	—
instFintype 📖	CompOp	—

---

← Back to Index