Basic

📁 Source: Mathlib/CategoryTheory/Groupoid/Basic.lean

Statistics

Metric	Count
Definitions IsTotallyDisconnected	1
Theorems isThin_iff	1
Total	2

CategoryTheory.Groupoid

Definitions

Name	Category	Theorems
IsTotallyDisconnected 📖	MathDef	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
isThin_iff 📖	mathematical	—	Quiver.IsThin CategoryTheory.CategoryStruct.toQuiver CategoryTheory.Category.toCategoryStruct toCategory Quiver.Hom	—	CategoryTheory.IsIso.of_groupoid inv_eq_inv CategoryTheory.IsIso.inv_hom_id CategoryTheory.Category.comp_id CategoryTheory.IsIso.hom_inv_id_assoc

---

← Back to Index