put in better shape to RFC

math-comp · Sep 8, 2022 · bb6bc24 · bb6bc24
1 parent ba8ceb1
commit bb6bc24
Show file tree

Hide file tree

Showing 2 changed files with 164 additions and 582 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -26,11 +26,11 @@ theories/cardinality.v
 theories/esum.v
 theories/fsbigop.v
 theories/set_interval.v
+theories/lebesgue_measure.v
 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