Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Right angles
crag
Next ⟩
df-rag
Metamath Proof Explorer
Unicode
Structured
Syntax definition
crag
Description:
Declare the constant for the class of right angles.
Ref
Expression
Assertion
crag
class raG