Nuprl - Proof: flip bijection 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: flip bijection 2

1. k :

2. i :

k
3. j :

k
4. b :

k. (i, j)(a) = b

By:	InstConcl [(i, j)(b)]

Generated subgoal:

1 (i, j)((i, j)(b)) = b
1 step

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html