Metamath Proof Explorer


Syntax definition cright

Description: Declare the symbol for the right option function.

Ref Expression
Assertion cright Could not format assertion : No typesetting found for class _Right with typecode class