Theorem SimpleGraph.Walk.not_mem_support_takeUntil_support_takeUntil_subset

Modification history