Nerve

📁 Source: Mathlib/AlgebraicTopology/Quasicategory/Nerve.lean

Statistics

Metric	Count
Definitions	0
Theorems quasicategory	1
Total	1

CategoryTheory.Nerve

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
quasicategory 📖	mathematical	—	SSet.Quasicategory CategoryTheory.nerve	—	SSet.StrictSegal.quasicategory' isStrictSegal

---

← Back to Index