BIG REFACTORING: ONLY THE MOVES, NO EDITS

UniMath · Aug 30, 2024 · 1c17272 · 1c17272
1 parent 94391ec
commit 1c17272
Show file tree

Hide file tree

Showing 4 changed files with 202 additions and 2,846 deletions.
diff --git a/book.tex b/book.tex
@@ -46,9 +46,13 @@
 \include{intro-uf}
 \include{circle}
 \include{group}
+\include{actions}
+\include{absgroup}
+\include{congp}
 \include{subgroups}
-\include{fggroups}
 \include{fingp}
+\include{fggroups}
+\include{abelian}
 \include{fields}
 \include{geometry}
 \include{galois}