Theorem SimpleGraph.Walk.concat_inj

Modification history