tentative definition of lebesgue stieltjes measure

math-comp · Jun 9, 2022 · 957048a · 957048a
1 parent 396062d
commit 957048a
Show file tree

Hide file tree

Showing 2 changed files with 147 additions and 1,496 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -27,6 +27,7 @@ theories/esum.v
 theories/fsbigop.v
 theories/set_interval.v
 theories/lebesgue_measure.v
+theories/lebesgue_stieltjes_measure.v
 theories/forms.v
 theories/derive.v
 theories/measure.v