Theorem SimpleGraph.Walk.map_isPath_iff_of_injective

Modification history