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

At: graph-isomorphic weakening 1 1
1. G: Graph
2. H: Graph
3. G = H
(Id,Id) o Incidence(H) = Incidence(H) o Id Edges(H)Vertices(H)Vertices(H)
By:
Ext
THEN
Reduce 0
THEN
GenConclAtAddr [2;1]
THEN
Analyze -2
THEN
Reduce 0
Generated subgoals:

None

About:
productfunctionequal

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