Initial

leanprover-community · Feb 11, 2025 · 71f2347 · 71f2347
1 parent 3892126
commit 71f2347
Show file tree

Hide file tree

Showing 2 changed files with 423 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -1137,6 +1137,7 @@ import Mathlib.AlgebraicTopology.SimplicialCategory.SimplicialObject
 import Mathlib.AlgebraicTopology.SimplicialNerve
 import Mathlib.AlgebraicTopology.SimplicialObject.Basic
 import Mathlib.AlgebraicTopology.SimplicialObject.Coskeletal
+import Mathlib.AlgebraicTopology.SimplicialObject.GeneratorsRelations
 import Mathlib.AlgebraicTopology.SimplicialObject.Split
 import Mathlib.AlgebraicTopology.SimplicialSet.Basic
 import Mathlib.AlgebraicTopology.SimplicialSet.Boundary