Metamath Proof Explorer


Syntax definition cclwlks

Description: Extend class notation with closed walks (of a graph).

Ref Expression
Assertion cclwlks class ClWalks