update dependency map

forked-from-1kasper · Dec 25, 2023 · c780447 · c780447
1 parent 263340f
commit c780447
Show file tree

Hide file tree

Showing 2 changed files with 715 additions and 696 deletions.
diff --git a/GroundZero.lean b/GroundZero.lean
@@ -13,6 +13,7 @@ import GroundZero.Algebra.Group.Differential
 import GroundZero.Algebra.Group.Factor
 import GroundZero.Algebra.Group.Finite
 import GroundZero.Algebra.Group.Free
+import GroundZero.Algebra.Group.Homotopy
 import GroundZero.Algebra.Group.Isomorphism
 import GroundZero.Algebra.Group.Lemmas
 import GroundZero.Algebra.Group.Limited