Theorem SimpleGraph.Walk.support_nonempty

Modification history