renaming `Rintegral_setU_EFin`

[affeldt-aist]

analysis/theories/lebesgue_integral.v

Line 4409 in 57b7b2d

Lemma Rintegral_setU_EFin (A B : set T) (f : T -> R) :

Rintegral_setU should have been enough