We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 50badbd commit 48ff14cCopy full SHA for 48ff14c
1 file changed
Burkholder/MartingaleTransforms.lean
@@ -4,7 +4,7 @@ import Mathlib.MeasureTheory.Function.LpSeminorm.LpNorm
4
import Mathlib.MeasureTheory.Function.LpSpace.Basic
5
import Burkholder.Basic
6
import Burkholder.Majorants
7
-import Burkholder.UnconditionalSchauderBasisNontrivialField
+
8
noncomputable section
9
10
open MeasureTheory
0 commit comments