Skip to content

Commit 2e6da9b

Browse files
lakesarelakesare
committed
ExceptionalSet.lean - remove development import
1 parent e220583 commit 2e6da9b

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

‎Carleson/Discrete/ExceptionalSet.lean‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
import Carleson.Discrete.Defs
22
import Carleson.ToMathlib.HardyLittlewood
3-
import Paperproof
43
open MeasureTheory Measure NNReal Metric Set
54
open scoped ENNReal
65

0 commit comments

Comments
 (0)
⚡