Robuta

https://nuprl-web.cs.cornell.edu/sfa/Nuprl/NuprlPrimitives/LEMMASsfa_doc_ntuple_contains_wf.html Nuprl Basics - NuprlPrimitives LEMMAs for sfa_doc_ntuple_contains_wf basics lemmas sfa doc contains