Theorem: Network.Graph.Path.isNil_def (Runtime/Network/Graph/Path/Basic.lean)

State before:
graph : Graph
start : Class graph
path : Path graph start
⊢ isNil path = true ↔ path = nil
Tactic:
cases path <;> simp [isNil]
State after:
no goals