Theorem SimpleGraph.Walk.exists_boundary_dart

Modification history