Metamath Proof Explorer


Syntax definition crrhat

Description: Syntax for RRhat .

Ref Expression
Assertion crrhat
class RRhat