Theorem SimpleGraph.Walk.IsEulerian.even_degree_iff

Modification history