Metamath Proof Explorer


Syntax definition cwlkson

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

Ref Expression
Assertion cwlkson class WalksOn