Skip to content

Commit

Permalink
bump
Browse files Browse the repository at this point in the history
  • Loading branch information
@riccardobrasca
riccardobrasca committed Jul 16, 2024
1 parent 53ee391 commit 8db6827
Show file tree
Hide file tree
Showing 9 changed files with 10 additions and 1,941 deletions.
5 changes: 0 additions & 5 deletions FltRegular.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,11 +5,6 @@ import FltRegular.CaseII.InductionStep
import FltRegular.CaseII.Statement
import FltRegular.FLT5
import FltRegular.FltRegular
import FltRegular.FltThree.Edwards
import FltRegular.FltThree.FltThree
import FltRegular.FltThree.OddPrimeOrFour
import FltRegular.FltThree.Primes
import FltRegular.FltThree.Spts
import FltRegular.MayAssume.Lemmas
import FltRegular.NumberTheory.AuxLemmas
import FltRegular.NumberTheory.Cyclotomic.CaseI
Expand Down
540 changes: 0 additions & 540 deletions FltRegular/FltThree/Edwards.lean
View file

This file was deleted.

Loading

0 comments on commit 8db6827

Please sign in to comment.