Metamath Proof Explorer


Syntax definition ccycls

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

Ref Expression
Assertion ccycls class Cycles