wip

Co-authored-by: Takafumi Saikawa <[email protected]>
math-comp · May 19, 2022 · 1048d04 · 1048d04
1 parent cf9191e
commit 1048d04
Show file tree

Hide file tree

Showing 2 changed files with 156 additions and 151 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -30,6 +30,7 @@ theories/forms.v
 theories/derive.v
 theories/measure.v
 theories/numfun.v
+theories/lebesgue_measure.v
 theories/lebesgue_integral.v
 theories/probability.v
 theories/summability.v