intro h
graph : Graph
start : Class graph
path : Path graph start
⊢ isCons path = true → Option.isSome (prefix? path) = true
graph : Graph
start : Class graph
path : Path graph start
h : isCons path = true
⊢ Option.isSome (prefix? path) = true