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

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