Metamath Proof Explorer


Syntax definition ccgr3

Description: Declare the syntax for the three place congruence predicate.

Ref Expression
Assertion ccgr3
class Cgr3