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

Renaming: `variationD` -> `variation_cat`?

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

https://github.com/math-comp/analysis/blob/d9ba8ca333776a539bfbe59270cc86a6533d6bad/theories/realfun.v#L2019-L2021

and write the equality the other way around?

affeldt-aist avatar May 08 '25 09:05 affeldt-aist