Theorem SimpleGraph.Walk.support_eq_cons

Modification history