Theorem SimpleGraph.Walk.mapLe_isCycle

Modification history