This is an inofficial mirror of http://metamath.tirix.org for personal testing of a visualizer extension only.

Metamath Proof Explorer

Syntax definition cwwlksn

Description: Extend class notation with walks (in a graph) of a fixed length as word over the set of vertices.

		Ref	Expression
	Assertion	cwwlksn	class WWalksN