Theorem SimpleGraph.Walk.transfer_append

Modification history