abandon some unsuccessful experiments & format Transformational.lean

forked-from-1kasper · Oct 13, 2024 · 36ba294 · 36ba294
1 parent f959e28
commit 36ba294
Show file tree

Hide file tree

Showing 4 changed files with 720 additions and 923 deletions.
diff --git a/GroundZero.lean b/GroundZero.lean
@@ -16,7 +16,6 @@ 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
 import GroundZero.Algebra.Group.Periodic
 import GroundZero.Algebra.Group.Presentation
 import GroundZero.Algebra.Group.Product

diff --git a/GroundZero/Algebra/Group/Limited.lean b/GroundZero/Algebra/Group/Limited.lean