Theorem SimpleGraph.Walk.isCircuit_def

Modification history