Theorem SimpleGraph.Walk.reverse_bijective

Modification history