Theorem SimpleGraph.Walk.IsEulerian.edgesFinset_eq

Modification history