Metamath Proof Explorer


Syntax definition cpthson

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

Ref Expression
Assertion cpthson
class PathsOn