Theorem SimpleGraph.Walk.mem_support_rotate_iff

Modification history

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