Theorem SimpleGraph.Walk.map_isPath_of_injective

Modification history