Database
GRAPH THEORY
Walks, paths and cycles
Paths and simple paths
cpths
Next ⟩
cspths
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cpths
Description:
Extend class notation with paths (of a graph).
Ref
Expression
Assertion
cpths
class
Paths