Database
GRAPH THEORY
Walks, paths and cycles
Trails
ctrlson
Next ⟩
df-trls
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ctrlson
Description:
Extend class notation with trails between two vertices (within a graph).
Ref
Expression
Assertion
ctrlson
class TrailsOn