make room for new chapter

avigad · Jan 20, 2025 · 3deb41f · 3deb41f
1 parent 3e3abe9
commit 3deb41f
Show file tree

Hide file tree

Showing 15 changed files with 0 additions and 0 deletions.
diff --git a/..._Mathematics/CXX_Discrete_Mathematics.rst → ..._Mathematics/C06_Discrete_Mathematics.rst b/..._Mathematics/CXX_Discrete_Mathematics.rst → ..._Mathematics/C06_Discrete_Mathematics.rst
diff --git a/...crete_Mathematics/S01_More_Induction.lean → ...crete_Mathematics/S01_More_Induction.lean b/...crete_Mathematics/S01_More_Induction.lean → ...crete_Mathematics/S01_More_Induction.lean
diff --git a/...Mathematics/S02_Finsets_and_Fintypes.lean → ...Mathematics/S02_Finsets_and_Fintypes.lean b/...Mathematics/S02_Finsets_and_Fintypes.lean → ...Mathematics/S02_Finsets_and_Fintypes.lean
diff --git a/...e_Mathematics/S03_Counting_Arguments.lean → ...e_Mathematics/S03_Counting_Arguments.lean b/...e_Mathematics/S03_Counting_Arguments.lean → ...e_Mathematics/S03_Counting_Arguments.lean
diff --git a/MIL/C06_Structures/C06_Structures.rst → MIL/C07_Structures/C07_Structures.rst b/MIL/C06_Structures/C06_Structures.rst → MIL/C07_Structures/C07_Structures.rst
diff --git a/MIL/C06_Structures/S01_Structures.lean → MIL/C07_Structures/S01_Structures.lean b/MIL/C06_Structures/S01_Structures.lean → MIL/C07_Structures/S01_Structures.lean
diff --git a/..._Structures/S02_Algebraic_Structures.lean → ..._Structures/S02_Algebraic_Structures.lean b/..._Structures/S02_Algebraic_Structures.lean → ..._Structures/S02_Algebraic_Structures.lean
diff --git a/...s/S03_Building_the_Gaussian_Integers.lean → ...s/S03_Building_the_Gaussian_Integers.lean b/...s/S03_Building_the_Gaussian_Integers.lean → ...s/S03_Building_the_Gaussian_Integers.lean
diff --git a/MIL/C07_Hierarchies/C07_Hierarchies.rst → MIL/C08_Hierarchies/C08_Hierarchies.rst b/MIL/C07_Hierarchies/C07_Hierarchies.rst → MIL/C08_Hierarchies/C08_Hierarchies.rst
diff --git a/MIL/C07_Hierarchies/S01_Basics.lean → MIL/C08_Hierarchies/S01_Basics.lean b/MIL/C07_Hierarchies/S01_Basics.lean → MIL/C08_Hierarchies/S01_Basics.lean
diff --git a/MIL/C07_Hierarchies/S02_Morphisms.lean → MIL/C08_Hierarchies/S02_Morphisms.lean b/MIL/C07_Hierarchies/S02_Morphisms.lean → MIL/C08_Hierarchies/S02_Morphisms.lean
diff --git a/MIL/C07_Hierarchies/S03_Subobjects.lean → MIL/C08_Hierarchies/S03_Subobjects.lean b/MIL/C07_Hierarchies/S03_Subobjects.lean → MIL/C08_Hierarchies/S03_Subobjects.lean
diff --git a/...Groups_and_Rings/C08_Groups_and_Rings.rst → ...Groups_and_Rings/C09_Groups_and_Rings.rst b/...Groups_and_Rings/C08_Groups_and_Rings.rst → ...Groups_and_Rings/C09_Groups_and_Rings.rst
diff --git a/MIL/C08_Groups_and_Rings/S01_Groups.lean → MIL/C09_Groups_and_Rings/S01_Groups.lean b/MIL/C08_Groups_and_Rings/S01_Groups.lean → MIL/C09_Groups_and_Rings/S01_Groups.lean
diff --git a/MIL/C08_Groups_and_Rings/S02_Rings.lean → MIL/C09_Groups_and_Rings/S02_Rings.lean b/MIL/C08_Groups_and_Rings/S02_Rings.lean → MIL/C09_Groups_and_Rings/S02_Rings.lean