Database
GRAPH THEORY
Walks, paths and cycles
Walks
cewlks
Next ⟩
cwlks
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cewlks
Description:
Extend class notation with s-walks "on the edge level" (of a hypergraph).
Ref
Expression
Assertion
cewlks
class
EdgWalks