Theorem SimpleGraph.Walk.support_dropUntil_subset

Modification history