Theorem SimpleGraph.Walk.IsCycle.count_support_of_mem

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_support_of_memView on Github →