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

naming

Open affeldt-aist opened this issue 1 year ago • 0 comments

https://github.com/math-comp/analysis/blob/e00d6f76e4ddbd7bc098e0bc9c99f763e07861fd/theories/lebesgue_integral.v#L2825

should be ge0_integral_measure_add

https://github.com/math-comp/analysis/blob/e00d6f76e4ddbd7bc098e0bc9c99f763e07861fd/theories/lebesgue_integral.v#L2640

should be ge0_integral_pushforward

affeldt-aist avatar May 27 '24 07:05 affeldt-aist