Nuprl Lemma : mfol-context_wf

mfol-context() ∈ Type


Proof




Definitions occuring in Statement :  mfol-context: mfol-context() member: t ∈ T universe: Type
Lemmas :  list_wf mFOL_wf
mfol-context()  \mmember{}  Type



Date html generated: 2015_07_17-AM-07_57_31
Last ObjectModification: 2015_01_27-AM-10_05_01

Home Index