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

At: div-graph-iso 2
Graph(i,j:. c:. j = ic ) Graph(i,j:. i | j)
By:
BackThru Thm* R1,R2:(TTProp). (x,y:T. R1(x,y) R2(x,y)) Graph(x,y:T. R1(x,y)) Graph(x,y:T. R2(x,y))
THEN
Try (ParallelOp -1)
THEN
Try Easy
Generated subgoals:

None

About:
multiplyfunctionuniverseequalpropimpliesallexists

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