analysis icon indicating copy to clipboard operation
analysis copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

floor and ceil to be subsumed by MathComp

Open affeldt-aist opened this issue 4 years ago • 1 comments

TODO: revise the use of floor and ceil once ~~math-comp/math-comp#682 is merged into MathComp~~ requiring MC >= 2.1.0

affeldt-aist avatar Jan 27 '21 03:01 affeldt-aist