fix some dependencies

Author: AlexBrodbelt

ClassificationOfSubgroups.lean

@@ -8,6 +8,7 @@ import ClassificationOfSubgroups.Ch5_PropertiesOfSLOverAlgClosedField.S3_JordanN
 import ClassificationOfSubgroups.Ch5_PropertiesOfSLOverAlgClosedField.S4_PropertiesOfCentralizers
 import ClassificationOfSubgroups.Ch5_PropertiesOfSLOverAlgClosedField.S5_PropertiesOfNormalizers
 import ClassificationOfSubgroups.Ch6_MaximalAbelianSubgroupClassEquation.S1_ElementaryAbelian
-import ClassificationOfSubgroups.Ch6_MaximalAbelianSubgroupClassEquation.S2_MaximalAbelianSubgroup
+import ClassificationOfSubgroups.Ch6_MaximalAbelianSubgroupClassEquation.S2_A_MaximalAbelianSubgroup
+import ClassificationOfSubgroups.Ch6_MaximalAbelianSubgroupClassEquation.S2_B_MaximalAbelianSubgroup
 import ClassificationOfSubgroups.Ch6_MaximalAbelianSubgroupClassEquation.S3_NoncenterClassEquation
 import ClassificationOfSubgroups.Ch7_DicksonsClassificationTheorem

ClassificationOfSubgroups/Ch7_DicksonsClassificationTheorem.lean

@@ -1,5 +1,6 @@
 import ClassificationOfSubgroups.Ch4_PGLIsoPSLOverAlgClosedField.ProjectiveGeneralLinearGroup
-import ClassificationOfSubgroups.Ch6_MaximalAbelianSubgroupClassEquation.S2_MaximalAbelianSubgroup
+import ClassificationOfSubgroups.Ch6_MaximalAbelianSubgroupClassEquation.S2_A_MaximalAbelianSubgroup
+import ClassificationOfSubgroups.Ch6_MaximalAbelianSubgroupClassEquation.S2_B_MaximalAbelianSubgroup
 import Mathlib.FieldTheory.Finite.GaloisField
 import Mathlib.FieldTheory.IsAlgClosed.AlgebraicClosure
 import Mathlib.GroupTheory.PresentedGroup

lakefile.toml

@@ -21,3 +21,19 @@ git = "https://github.com/leanprover/doc-gen4"
 rev = "main"
 [[lean_lib]]
 name = "ClassificationOfSubgroups"
+
+
+# name = "myprojectname"
+# defaultTargets = ["textbook"]
+
+# [[require]]
+# name = "verso"
+# git = "https://github.com/leanprover/verso"
+# rev = "main"
+
+# [[lean_lib]]
+# name = "DemoTextbook"
+
+# [[lean_exe]]
+# name = "textbook"
+# root = "DemoTextbookMain"