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