Metamath Proof Explorer


Syntax definition cale

Description: Extend class definition to include the aleph function.

Ref Expression
Assertion cale
class aleph