Theorem SimpleGraph.Walk.chain'_adj_support

Modification history