Split into files

avigad · Sep 15, 2024 · 87e2de6 · 87e2de6
1 parent 2fefd5b
commit 87e2de6
Show file tree

Hide file tree

Showing 8 changed files with 1,312 additions and 1,241 deletions.
diff --git a/MIL.lean b/MIL.lean
@@ -25,7 +25,10 @@ import MIL.C07_Hierarchies.S02_Morphisms
 import MIL.C07_Hierarchies.S03_Subobjects
 import MIL.C08_Groups_and_Rings.S01_Groups
 import MIL.C08_Groups_and_Rings.S02_Rings
-import MIL.C09_Linear_Algebra.S01_Matrices
+import MIL.C09_Linear_Algebra.S01_Vector_Spaces
+import MIL.C09_Linear_Algebra.S02_Subspaces
+import MIL.C09_Linear_Algebra.S03_Endomorphisms
+import MIL.C09_Linear_Algebra.S04_Bases
 import MIL.C10_Topology.S01_Filters
 import MIL.C10_Topology.S02_Metric_Spaces
 import MIL.C10_Topology.S03_Topological_Spaces