Theorem SimpleGraph.Walk.IsPath.length_lt

Modification history