Theorem SimpleGraph.Walk.dropLast_nil

Modification history