Theorem SimpleGraph.Walk.cons_support_tail

Modification history