Theorem SimpleGraph.Walk.transfer_self

Modification history