Theorem SimpleGraph.Walk.dropLast_cons_nil

Modification history