Metamath Proof Explorer


Syntax definition cgrtri

Description: Extend class notation with triangles (in a graph).

Ref Expression
Assertion cgrtri
class GrTriangles