Theorem SimpleGraph.Walk.concat_dropLast

Modification history