Database
GRAPH THEORY
Walks, paths and cycles
Walks as words
cwwlks
Next ⟩
cwwlksn
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cwwlks
Description:
Extend class notation with walks (in a graph) as word over the set of vertices.
Ref
Expression
Assertion
cwwlks
$${class}\mathrm{WWalks}$$