Theorem SimpleGraph.Walk.isEulerian_iff

Modification history