Limits
📁 Source: Mathlib/Topology/Category/CompHaus/Limits.lean
Statistics
| Metric | Count |
|---|---|
| 2 | |
| 2 | |
| Total | 4 |
CompHaus
Definitions
| Name | Category | Theorems |
|---|---|---|
isTerminalPUnit 📖 | CompOp | — |
terminalIsoPUnit 📖 | CompOp | — |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
instHasExplicitFiniteCoproductsTrue 📖 | mathematical | — | CompHausLike.HasExplicitFiniteCoproducts | — | instHasPropTrue |
instHasExplicitPullbacksTrue 📖 | mathematical | — | CompHausLike.HasExplicitPullbacks | — | instHasPropTrue |
---