reboot work on independent RVs

Co-authored-by: Alessandro Bruni <[email protected]> Co-authored-by: Takafumi Saikawa <[email protected]>
math-comp · Jun 7, 2024 · 2b65f07 · 2b65f07
1 parent 1cdbf49
commit 2b65f07
Show file tree

Hide file tree

Showing 4 changed files with 1,091 additions and 1,129 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -45,6 +45,7 @@ theories/lebesgue_integral.v
 theories/ftc.v
 theories/hoelder.v
 theories/probability.v
+theories/sampling.v
 theories/summability.v
 theories/signed.v
 theories/itv.v

diff --git a/theories/Make b/theories/Make
@@ -33,6 +33,7 @@ lebesgue_integral.v
 ftc.v
 hoelder.v
 probability.v
+sampling.v
 lebesgue_stieltjes_measure.v
 summability.v
 signed.v