Theorem SimpleGraph.Walk.mapLe_isPath

Modification history