Metamath Proof Explorer


Syntax definition cwlks

Description: Extend class notation with walks (i.e. 1-walks) (of a hypergraph).

Ref Expression
Assertion cwlks
class Walks