Add Tim’s formalization of Euclid’s theorem

naproche · Jun 24, 2021 · 383eeed · 383eeed
1 parent d483819
commit 383eeed
Show file tree

Hide file tree

Showing 2 changed files with 688 additions and 0 deletions.
diff --git a/NumberTheory/Euclid.ftl.pdf b/NumberTheory/Euclid.ftl.pdf