Code

Hoelder's inequality#942

Code

Merged

affeldt-aist merged 13 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:probability_20230603affeldt-aist/analysis:probability_20230603Copy head branch name to clipboardSep 14, 2023

+315-3

Commits

Commits on Sep 12, 2023

• tentative proof of Hoelder's inequality

  Show description for 0f422af
  

  affeldt-aist

  and

  hoheinzollern

  committed
  0f422af

• extract lemma, test notation (cont'd)

  affeldt-aist

  committed
  630854e

• finish address comments

  affeldt-aist

  committed
  3970976

• notation test

  affeldt-aist

  committed
  6d25b35

• use notation || _ ||_ _

  affeldt-aist

  committed
  6f6a100

• Moving lnorm and hoelder

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  18f42a5

• going back to the N notation

  affeldt-aist

  committed
  79840ce

• fix changelog

  affeldt-aist

  committed
  7c8ddb6

• fixes

  affeldt-aist

  committed
  0dc9551

• tentative def of ess sup

  Show description for 3d5994e
  

  affeldt-aist

  and

  hoheinzollern

  committed
  3d5994e

• doc, changelog

  affeldt-aist

  committed
  369cd19

Commits on Sep 13, 2023

• fix case p = 0 of Lnorm

  affeldt-aist

  committed
  6875f5c

Commits on Sep 14, 2023

• rm spuirous parentheses

  affeldt-aist

  committed
  dbfc54e