Fix name of Fraleigh chapter.

2023-05-15 17:42:02 -06:00 · 2023-05-15 17:42:02 -06:00 · 8d6a569fa7
parent 43dd9c2997
commit 8d6a569fa7
2 changed files with 1 additions and 1 deletions
--- a/Bookshelf/Fraleigh.lean
+++ b/Bookshelf/Fraleigh.lean
@ -1 +1 @@
-import Bookshelf.Fraleigh.Chapter1
+import Bookshelf.Fraleigh.Chapter_1
--- a/Bookshelf/Fraleigh/Chapter_1.lean
+++ b/Bookshelf/Fraleigh/Chapter_1.lean