Theorem SimpleGraph.Walk.mapLe_isTrail

Modification history