Nuprl - Proof: edge-connect

For any graph x,y:V. x-the_graph- > y x-the_graph- > *y

By: Auto THEN Unfold `connect` 0 THEN Unfold `path` 0 THEN InstConcl [[x; y]] THEN Reduce 0 THEN Obvious

Generated subgoals:

None

About: