Metamath Proof Explorer


Syntax definition cceil

Description: Extend class notation to include the ceiling function.

Ref Expression
Assertion cceil class