Syntax Definition ccf 3622

Description: Extend class definition to include the cofinality function.

Assertion

Ref	Expression
ccf	class cf

See definition df-cf 3625 for more information.

metamath.org