Theorem SimpleGraph.Walk.transfer_transfer

Modification history