Metamath Proof Explorer


Syntax definition crnk

Description: Extend class definition to include rank function.

Ref Expression
Assertion crnk class rank