Theorem SimpleGraph.Walk.nil_iff_eq_nil

Modification history