Theorem SimpleGraph.Walk.dropLast_concat

Modification history