Pi

📁 Source: Mathlib/CategoryTheory/Limits/Pi.lean

Statistics

Metric	Count
Definitions coconeCompEval, coconeOfCoconeCompEval, coconeOfCoconeEvalIsColimit, coneCompEval, coneOfConeCompEval, coneOfConeEvalIsLimit	6
Theorems hasColimit_of_hasColimit_comp_eval, hasLimit_of_hasLimit_comp_eval	2
Total	8

CategoryTheory.pi

Definitions

Name	Category	Theorems
coconeCompEval 📖	CompOp	—
coconeOfCoconeCompEval 📖	CompOp	—
coconeOfCoconeEvalIsColimit 📖	CompOp	—
coneCompEval 📖	CompOp	—
coneOfConeCompEval 📖	CompOp	—
coneOfConeEvalIsLimit 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
hasColimit_of_hasColimit_comp_eval 📖	—	CategoryTheory.Limits.HasColimit CategoryTheory.Functor.comp CategoryTheory.pi CategoryTheory.Pi.eval	—	—	—
hasLimit_of_hasLimit_comp_eval 📖	—	CategoryTheory.Limits.HasLimit CategoryTheory.Functor.comp CategoryTheory.pi CategoryTheory.Pi.eval	—	—	—

---

← Back to Index