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

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