Metamath Proof Explorer


Syntax definition crag

Description: Declare the constant for the class of right angles.

Ref Expression
Assertion crag
class raG