Theorem SimpleGraph.Walk.support_tail

Modification history