Nuprl - Proof: div-graph-iso 1 1 2

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

At: div-graph-iso 1 1 2

1. i:
2. j:
3. (c:. j = ic)

(c:. j = ic )

By: ParallelOp -1 THEN Try Easy THEN RepeatFor 2 (ParallelOp -1)

Generated subgoals:

None

About:

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