(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 1
1. n:, f:(). f(n)  mu(f)  
  mu  VoidVoid
By: Def

Generated subgoals:

None

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

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