Metamath Proof Explorer


Syntax definition cpths

Description: Extend class notation with paths (of a graph).

Ref Expression
Assertion cpths
class Paths