Metamath Proof Explorer


Syntax definition cspthson

Description: Extend class notation with simple paths between two vertices (within a graph).

Ref Expression
Assertion cspthson class SPathsOn