r
/
bookshelf
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rename Avigad chapters to consistent format.

finite-set-exercises
Joshua Potter 2023-05-13 07:00:50 -06:00
parent ddcb0f9717
commit b413998f6b
7 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
Bookshelf/Avigad.lean
View File

@ -1,6 +1,6 @@
import Bookshelf.Avigad.Chapter2 import Bookshelf.Avigad.Chapter_2
import Bookshelf.Avigad.Chapter3 import Bookshelf.Avigad.Chapter_3
import Bookshelf.Avigad.Chapter4 import Bookshelf.Avigad.Chapter_4
import Bookshelf.Avigad.Chapter5 import Bookshelf.Avigad.Chapter_5
import Bookshelf.Avigad.Chapter7 import Bookshelf.Avigad.Chapter_7
import Bookshelf.Avigad.Chapter8 import Bookshelf.Avigad.Chapter_8

0
Bookshelf/Avigad/Chapter2.lean → Bookshelf/Avigad/Chapter_2.lean
View File

0
Bookshelf/Avigad/Chapter3.lean → Bookshelf/Avigad/Chapter_3.lean
View File

0
Bookshelf/Avigad/Chapter4.lean → Bookshelf/Avigad/Chapter_4.lean
View File

0
Bookshelf/Avigad/Chapter5.lean → Bookshelf/Avigad/Chapter_5.lean
View File

0
Bookshelf/Avigad/Chapter7.lean → Bookshelf/Avigad/Chapter_7.lean
View File

0
Bookshelf/Avigad/Chapter8.lean → Bookshelf/Avigad/Chapter_8.lean
View File