Theorem SimpleGraph.Walk.subset_support_append_right

Modification history