lacking the lemma `ge0_le_Rintegral`

[affeldt-aist]

analysis/theories/lebesgue_integral_theory/lebesgue_Rintegral.v

Line 160 in 6be7e88

Lemma le_Rintegral D f1 f2 : measurable D ->

[affeldt-aist]

@holgerthies my mistake, in fact we cannot have such a lemma