Theorem SimpleGraph.Walk.reverse_transfer

Modification history