Code

Hb queue#1089

Code

Merged

proux01 merged 5 commits intomath-comp:hierarchy-buildermath-comp/analysis:hierarchy-builderfrom affeldt-aist:hb_queueaffeldt-aist/analysis:hb_queueCopy head branch name to clipboardNov 10, 2023

+585-298

Commits

Commits on Nov 10, 2023

• fixes math-comp#1051 (rename lim_sup -> limn_sup) (math-comp#1068)

  Show description for 746dbb3
  affeldt-aist

  committed
  746dbb3

  Copy full SHA for 746dbb3

• Monotonicity lemmas for norms (math-comp#1060)

  Show description for ce67a30
  

  hoheinzollern

  and

  affeldt-aist

  committed
  ce67a30

  Copy full SHA for ce67a30

• Chernoff bound (math-comp#1053)

  Show description for bda2e78
  

  hoheinzollern

  and

  affeldt-aist

  committed
  bda2e78

  Copy full SHA for bda2e78

• Radon nikodym cscale (math-comp#1076)

  Show description for 4dbd28e
  

  IshiguroYoshihiro

  and

  affeldt-aist

  committed
  4dbd28e

  Copy full SHA for 4dbd28e

• Fixes 20231108 (math-comp#1081)

  Show description for 65f9f41
  affeldt-aist

  committed
  65f9f41

  Copy full SHA for 65f9f41