Database
GRAPH THEORY
Walks, paths and cycles
Closed walks
cclwlks
Next ⟩
df-clwlks
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cclwlks
Description:
Extend class notation with closed walks (of a graph).
Ref
Expression
Assertion
cclwlks
class
ClWalks