Theorem: e02 (FormalisingMathematics2024/Solutions/Section18graphTheory/Sheet2.lean)

State before:
V : Type
G : SimpleGraph V
v w x : V
a : Walk G v w
⊢ Adj g5 0 2
Tactic:
decide
State after:
no goals