Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
@kbuzzard
kbuzzard committed Dec 11, 2024
1 parent 8afe551 commit a33a64b
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion FLT/FLT_files.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,5 +55,4 @@ import FLT.Mathlib.Topology.Homeomorph
import FLT.NumberField.AdeleRing
import FLT.NumberField.InfiniteAdeleRing
import FLT.NumberField.IsTotallyReal
import FLT.RestrictedProduct.Defs
import FLT.TateCurve.TateCurve

0 comments on commit a33a64b

Please sign in to comment.