move the product measure out of `lebesgue_integral_fubini.v`

[affeldt-aist]

analysis/theories/lebesgue_integral_theory/lebesgue_integral_fubini.v

Line 50 in 3cd3552

Section ndseq_closed_B.

should maybe be addressed before issue #1552 (merged!)