removing independence.v

- copying measurable_prod, remove once merged

Author: hoheinzollern

_CoqProject

@@ -113,7 +113,6 @@ theories/lebesgue_integral_theory/lebesgue_integral.v
 theories/ftc.v
 theories/hoelder.v
 theories/probability.v
-theories/independence.v
 theories/sampling.v
 theories/convex.v
 theories/charge.v