Theorem SimpleGraph.Walk.length_support

Modification history