Code

Lebesgue Stieltjes measure#677

Code

Merged

affeldt-aist merged 19 commits intomastermath-comp/analysis:masterfrom lebesgue_stieltjes_measuremath-comp/analysis:lebesgue_stieltjes_measureCopy head branch name to clipboardOct 23, 2023

+694-176

Commits

Commits on Oct 23, 2023

• start lebesgue stieltjes measure

  Show description for e3adffb
  

  IshiguroYoshihiro

  authored and

  affeldt-aist

  committed
  e3adffb

• tentative sketch for sigma_sub_additive

  affeldt-aist

  committed
  ab96f2d

• progress wrt hlength_sigma_sub_additive

  Show description for 3f5cee0
  

  IshiguroYoshihiro

  authored and

  affeldt-aist

  committed
  3f5cee0

• tentative definition of lebesgue stieltjes measure

  affeldt-aist

  committed
  9890a3c

• cumulative function with HB

  Show description for 50cda6f
  

  affeldt-aist

  and

  t6s

  committed
  50cda6f

• upd and complete

  affeldt-aist

  committed
  97867e7

• upd

  affeldt-aist

  committed
  35a1bfb

• EFinf is actually er_map

  affeldt-aist

  committed
  11dc66f

• use Content_SubSigmaAdditive_isMeasure.Build

  affeldt-aist

  committed
  3d7835e

• rebase

  affeldt-aist

  committed
  41773f3

• put lebesgue_measure proof in module

  affeldt-aist

  committed
  4614f3c

• changelog, doc, minor fixes

  affeldt-aist

  committed
  886ee65

• test

  affeldt-aist

  committed
  7f3ecfc

• fix

  affeldt-aist

  committed
  ac085b4

• fix

  affeldt-aist

  committed
  26f083f

• rm dup, fix

  affeldt-aist

  committed
  84c0db8

• fix

  affeldt-aist

  committed
  0358d24

• rename hlength to wlength

  affeldt-aist

  committed
  3915fa4

• fix doc

  affeldt-aist

  committed
  d67d334