Syntax Definition crnk 3486

Description: Extend class definition to include rank function.

Assertion

Ref	Expression
crnk	class rank

See definition df-rank 3488 for more information.

metamath.org