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

Generalize to `l : \bar R`?

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

https://github.com/math-comp/analysis/blob/f29e974417442500e6014fb78e369f2e194a1eaa/theories/ftc.v#L900

@IshiguroYoshihiro

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