Theorem SimpleGraph.Walk.concat_nil

Modification history