Database
REAL AND COMPLEX NUMBERS
Elementary integer functions
The floor and ceiling functions
cceil
Next ⟩
df-fl
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cceil
Description:
Extend class notation to include the ceiling function.
Ref
Expression
Assertion
cceil
class
.