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