Theorem SimpleGraph.Walk.IsEulerian.isTrail

Modification history