Def SimpleGraph.Walk.IsEulerian.fintypeEdgeSet

Modification history