Nuprl - Proof: bimplies weakening

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: bimplies weakening

u,v:

. u = v

By:

RepD

Generated subgoal:

1 1. u :
2. v :
3. u = v
uv
2 steps

About:

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