Theorem SimpleGraph.Walk.support_append

Modification history