Theorem SimpleGraph.Walk.take_spec

Modification history