Metamath Proof Explorer

Syntax definition crag

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

Ref Expression
Assertion crag class ∟G