Theorem SimpleGraph.Walk.isTrail_copy

Modification history