Theorem SimpleGraph.Walk.chain_adj_support

Modification history