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

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