Theorem SimpleGraph.Walk.dropLast_cons_of_not_nil

Modification history