Theorem SimpleGraph.Walk.IsCycle.exists_isCycle_snd_verts_eq

Modification history