PrintForm Definitions mb list 2 Sections MarkB generic Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: compose flips wf
  k:, L:(k-1) List. compose_flips(L)  kk
By: Unfold `compose_flips` 0 THEN Using [`A',(k-1)] Auto

Generated subgoals:

None

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

PrintForm Definitions mb list 2 Sections MarkB generic Doc