Theorem SimpleGraph.Walk.support_bypass_subset

Modification history