Nuprl - Proof: m-sys-at wf 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: m-sys-at wf 1

1. i : Id
2. M : MsgA
3. Feasible(M)
4. loc : Id
5.

loc = i

Feasible()

By:

Obvious

Generated subgoals:

None

About:

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