Graph theory: alternate definition of a walk (#2511)
Graph theory: alternate definition of a walk (#2511)

* Graph theory: alternate definition of a walk

Alternate definition of a walk as proposed by BJ (see #2505) described in the header comment of section "Walks, paths and cycles".
metamath/set.mm,metamath/set.mm,metamath/set.mm