Metamath Proof Explorer


Syntax definition cewlks

Description: Extend class notation with s-walks "on the edge level" (of a hypergraph).

Ref Expression
Assertion cewlks class EdgWalks