Theorem SimpleGraph.Walk.IsCycle.snd_ne_penultimate

Modification history