(15steps total) Remark PrintForm Definitions Lemmas NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: kleene minimize wf 2 2 1
1. n:, f:(). f(n)  mu(f)  
2. f : 
3. x : 
4. f(x)
  mu(f)  
By: BackThru: Hyp:1 Using:[x]

Generated subgoals:

None

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

(15steps total) Remark PrintForm Definitions Lemmas NuprlPrimitives Sections NuprlLIB Doc