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

`variation_cat`

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

https://github.com/math-comp/analysis/blob/0e4fbab71717e572542e3c8069018412a954c025/theories/realfun.v#L2172

might be better to have c as a non-implict argument put first

affeldt-aist avatar Nov 20 '25 06:11 affeldt-aist