Theorem SimpleGraph.Walk.support_cons

Modification history