Metamath Proof Explorer


Syntax definition cright

Description: Declare the symbol for the right option function.

Ref Expression
Assertion cright class R