Theorem SimpleGraph.Walk.reverse_injective

Modification history