SmallComplete

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

Statistics

Metric	Count
Definitions	0
Theorems instIsThin	1
Total	1

CategoryTheory

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instIsThin 📖	mathematical	Limits.HasProducts	Quiver.IsThin CategoryStruct.toQuiver Category.toCategoryStruct	—	Nat.instAtLeastTwoHAddOfNat Cardinal.two_le_iff not_le_of_gt Cardinal.cantor Limits.hasLimitOfHasLimitsOfShape trans instIsTransLe le_trans Cardinal.power_le_power_right Cardinal.power_def le_of_eq Cardinal.eq Limits.limit.lift_π Limits.Pi.hom_ext Cardinal.mk_le_of_injective

---

← Back to Index