Database
GRAPH THEORY
Walks, paths and cycles
Trails
ctrls
Next ⟩
ctrlson
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
ctrls
Description:
Extend class notation with trails (within a graph).
Ref
Expression
Assertion
ctrls
class
Trails