Metamath Proof Explorer


Syntax definition crrhat

Description: Syntax for RRhat .

Ref Expression
Assertion crrhat class ^