Syntax Definition cale 3621

Description: Extend class definition to include the aleph function.

Assertion

Ref	Expression
cale	class aleph

See definition df-aleph 3624 for more information.

metamath.org