Skip to content

Commit 93f9ac0

Browse files
kbuzzardkbuzzard
committed
fix CI?
1 parent d211711 commit 93f9ac0

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎FLT/FLT_files.lean

+1
Original file line numberDiff line numberDiff line change
@@ -6,3 +6,4 @@ import FLT.GroupScheme.FiniteFlat
66
import FLT.Hard.Results
77
import FLT.TateCurve.TateCurve
88
import FLT.AutomorphicRepresentation.Example
9+
import FLT.mathlibExperiments.IsCentralSimple

0 commit comments

Comments
 (0)