Nuprl - Proof: graph-isomorphic weakening

(3steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc

At: graph-isomorphic weakening

G,H:Graph. G = H G H

By: Auto THEN HypSubst -1 0

Generated subgoal:

1 1. G: Graph
2. H: Graph
3. G = H
H H 2 steps

About:

(3steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc