Theorem SimpleGraph.Walk.reverse_surjective

Modification history