Theorem SimpleGraph.Walk.isCircuit_induce

Modification history

2026-11-10 14:10

Mathlib/Combinatorics/SimpleGraph/Paths.lean

feat(Combinatorics/SimpleGraph/Paths): some lemmas about inducing walks (#40967) …

Added SimpleGraph.Walk.isCircuit_induce View on Github →