Fix naming.

sgouezel · Apr 16, 2024 · 05e9f15 · 05e9f15
1 parent 817a19f
commit 05e9f15
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/PrimeNumberTheoremAnd.lean b/PrimeNumberTheoremAnd.lean
@@ -7,7 +7,7 @@ import «PrimeNumberTheoremAnd».HadamardFactorization
 import «PrimeNumberTheoremAnd».HoffsteinLockhart
 import «PrimeNumberTheoremAnd».MellinCalculus
 import «PrimeNumberTheoremAnd».ResidueCalcOnRectangles
-import «PrimeNumberTheoremAnd».SecondProofPNT
+import «PrimeNumberTheoremAnd».MediumPNT
 import «PrimeNumberTheoremAnd».StrongPNT
 import «PrimeNumberTheoremAnd».Wiener
 import «PrimeNumberTheoremAnd».ZetaBounds