Theorem SimpleGraph.Walk.IsCircuit.isCycle_cycleBypass

Modification history

2026-04-28 18:41

Mathlib/Combinatorics/SimpleGraph/Paths.lean

feat(Combinatorics/SimpleGraph): Add lemma `Walk.IsCircuit.isCycle_cycleBypass` (#37574)

Added SimpleGraph.Walk.IsCircuit.isCycle_cycleBypass View on Github →