Theorem SimpleGraph.Walk.concat_eq_append

Modification history