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

move dyadic intervals in a more appropriate file

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_approximation.v#L45

to enhance discoverability

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