Code

extending hoelders lemma#1392

Code

Draft

jmmarulang wants to merge 6 commits intomath-comp:mastermath-comp/analysis:masterfrom jmmarulang:Holder-for-extended-realsjmmarulang/analysis:Holder-for-extended-realsCopy head branch name to clipboard

+981-447

Commits

Commits on Nov 13, 2024

• extending hoelders lemma

  Show description for 8de5058
  jmmarulang

  committed
  8de5058

Commits on Nov 14, 2024

• some work

  Show description for 3ba9546
  jmmarulang

  committed
  3ba9546

• measurable_poweR

  hoheinzollern

  committed
  3e8f39f

• Merge branch 'math-comp:master' into Holder-for-extended-reals

  jmmarulang

  authored
  0daadc7

• Merge pull request #1 from hoheinzollern/hoelder_ereal

  Show description for 9d641bb
  jmmarulang

  authored
  9d641bb

Commits on Nov 19, 2024

• s

  Show description for ca9a270
  jmmarulang

  committed
  ca9a270