PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
At:
comp2
id
l
A,B,C:Type, g:(A
B
C). (Id,Id) o g = g
By:
Auto
THEN
Ext
THEN
Reduce 0
THEN
GenConclAtAddr [2;1]
THEN
Analyze -2
THEN
Reduce 0
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
A,B,C:Type, g:(A
B
C). (Id,Id) o g = g