Nuprl Definition : context-set

context-set(ctxt) ==  fst(allow(ctxt))


Definitions occuring in Statement :  pi1: fst(t),  allow: allow(x)
Definitions occuring in definition :  pi1: fst(t),  allow: Error :allow
FDL editor aliases :  context-set
Latex:
context-set(ctxt)  ==    fst(allow(ctxt))


Date html generated: 2020_05_20-PM-08_06_20
Last ObjectModification: 2020_02_23-PM-03_00_39

Theory : cubical!type!theory


Home Index