analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

move the product measure out of `lebesgue_integral_fubini.v`

Open affeldt-aist opened this issue 9 months ago • 0 comments

https://github.com/math-comp/analysis/blob/3cd35520dc1d14ef272e2c6a25f41a94582ab041/theories/lebesgue_integral_theory/lebesgue_integral_fubini.v#L50

should maybe be addressed before issue #1552

affeldt-aist avatar Apr 02 '25 23:04 affeldt-aist