WidePullbackOfTerminal
📁 Source: Mathlib/CategoryTheory/Limits/Constructions/WidePullbackOfTerminal.lean
Statistics
| Metric | Count |
|---|---|
| 3 | |
TheoremshasWidePullback_of_isTerminal | 1 |
| Total | 4 |
CategoryTheory.Limits
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
hasWidePullback_of_isTerminal 📖 | mathematical | — | HasWidePullback | — | — |
CategoryTheory.Limits.WidePullbackCone
Definitions
| Name | Category | Theorems |
|---|---|---|
isLimitOfFan 📖 | CompOp | — |
ofFan 📖 | CompOp | — |
toFan 📖 | CompOp | — |
---