Theorem SimpleGraph.Walk.support_ne_nil

Modification history