rfl
graph : Graph
start start✝ : Class graph
child₁ : Class.Child start✝
hi : Option.isSome (prefix? nil) = true → isCons nil = true
h : Option.isSome (prefix? (cons child₁ nil)) = true
⊢ isCons (cons child₁ nil) = true
no goals