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