Database
GRAPH THEORY
Walks, paths and cycles
Walks
cwlkson
Next ⟩
df-ewlks
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cwlkson
Description:
Extend class notation with walks between two vertices (within a graph).
Ref
Expression
Assertion
cwlkson
class
WalksOn