Theorem SimpleGraph.Walk.nil_iff_support_eq

Modification history