Theorem SimpleGraph.Walk.support_takeUntil_subset

Modification history