Skip to content

Commit baab33b

Browse files
SmaniaDSmaniaD
committed
name of file updated
1 parent cd52c3e commit baab33b

2 files changed

Lines changed: 1 addition & 3 deletions

File tree

‎Burkholder.lean‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,7 @@
11
import Mathlib.Probability.Martingale.Basic
22
import Burkholder.Basic
33
import Burkholder.Majorants
4-
import Burkholder.UnconditionalSchauderBasis
5-
6-
4+
import Burkholder.UnconditionalSchauderBasisNontrivialField
75
noncomputable section
86

97
open MeasureTheory

Burkholder/UnconditionalSchauderBasisNontrialField.lean renamed to Burkholder/UnconditionalSchauderBasisNontrivialField.lean

File renamed without changes.

0 commit comments

Comments
 (0)