deprecation

forked-from-1kasper · Oct 14, 2024 · 62058bb · 62058bb
1 parent 36ba294
commit 62058bb
Show file tree

Hide file tree

Showing 3 changed files with 694 additions and 805 deletions.
diff --git a/GroundZero.lean b/GroundZero.lean
@@ -4,7 +4,6 @@ import GroundZero.Algebra.Boolean
 import GroundZero.Algebra.Category
 import GroundZero.Algebra.EilenbergMacLane
 import GroundZero.Algebra.Geometry
-import GroundZero.Algebra.Group.Absolutizer
 import GroundZero.Algebra.Group.Action
 import GroundZero.Algebra.Group.Alternating
 import GroundZero.Algebra.Group.Automorphism

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