Documentation

LeanPool.Burkholder

Burkholder Martingale Transform Inequality #

Source: doi:10.1214/aop/1176993220 Authors: Daniel Smania Status: verified Main declarations: MeasureTheory.Lp_Burkholder_inequality_martingaleTransform Tags: probability, martingales, burkholder-inequality MSC: 60G42