analysis icon indicating copy to clipboard operation
analysis copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

naming le0R/lt0R

Open affeldt-aist opened this issue 2 years ago • 0 comments

https://github.com/math-comp/analysis/blob/9ac498c5f38d1e4870ad4968bdd04d3e098de348/theories/constructive_ereal.v#L492-L496

rename to fine_ge0 and fine_gt0?

affeldt-aist avatar Aug 12 '22 06:08 affeldt-aist