Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Congruence of a series of points
ccgrg
Next ⟩
df-cgrg
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ccgrg
Description:
Declare the constant for the congruence between shapes relation.
Ref
Expression
Assertion
ccgrg
class
cgrG