Theorem SimpleGraph.Walk.getVert_eq_support_get?

Modification history

2025-06-20 23:24

Mathlib/Combinatorics/SimpleGraph/Walk.lean

feat(SimpleGraph): Small refactor + helper lemma (#25654) …

Deleted SimpleGraph.Walk.getVert_eq_support_get?View on Github →

2024-12-16 10:17

Mathlib/Combinatorics/SimpleGraph/Walk.lean

feat(Combinatorics/SimpleGraph): the reverse of a cycle is a cycle (#19611) …

Added SimpleGraph.Walk.getVert_eq_support_get?View on Github →