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

Why make this lemma local?

Open affeldt-aist opened this issue 10 months ago • 1 comments

https://github.com/math-comp/analysis/blob/f29e974417442500e6014fb78e369f2e194a1eaa/theories/lebesgue_integral.v#L3479-L3481

affeldt-aist avatar Feb 18 '25 02:02 affeldt-aist

NB: this Let has moved to lebesgue_integral_nonneg.v in the meantime

affeldt-aist avatar Apr 15 '25 08:04 affeldt-aist