Theorem SimpleGraph.Walk.reverse_singleton

Modification history