Commit 2026-04-28 18:41 39a94c49

View on Github →

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

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Paths.lean

added theorem SimpleGraph.Walk.IsCircuit.isCycle_cycleBypass

modified theorem SimpleGraph.Walk.IsTrail.isCycle_cycleBypass