Metamath Proof Explorer


Syntax definition cgrtri

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

Ref Expression
Assertion cgrtri Could not format assertion : No typesetting found for class GrTriangles with typecode class