Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Congruence of angles
ccgra
Next ⟩
df-cgra
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ccgra
Description:
Declare the constant for the congruence between angles relation.
Ref
Expression
Assertion
ccgra
class
cgrA