Theorem SimpleGraph.Walk.IsCycle.count_support

Modification history

2025-12-01 22:59
Mathlib/Combinatorics/SimpleGraph/Paths.lean
feat(Combinatorics/SimpleGraph): lemmas about the support of cycles (#31758)
Added SimpleGraph.Walk.IsCycle.count_supportView on Github →