Update Burkholder.lean

SmaniaD · SmaniaD · commit 4b9f0a6aed05 · 2026-04-30T21:14:25.000-03:00
diff --git a/Burkholder.lean b/Burkholder.lean
@@ -6,4 +6,3 @@ import Burkholder.Basic
 import Burkholder.Majorants
 import Burkholder.UnconditionalSchauderBasisNontrivialField
 import MartingaleTransforms
-f
