Theorem SimpleGraph.Walk.concatRec_concat

Modification history