Database
REAL AND COMPLEX NUMBERS
Elementary integer functions
The floor and ceiling functions
cfl
Next ⟩
cceil
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cfl
Description:
Extend class notation with floor (greatest integer) function.
Ref
Expression
Assertion
cfl
class |_