Theorem SimpleGraph.Walk.support_nil

Modification history