Nuprl Definition : context-ok
context-ok(ctxt) == allowed(ctxt)
Definitions occuring in Statement :
allowed: allowed(x)
Definitions occuring in definition :
allowed: Error :allowed
FDL editor aliases :
context-ok
Latex:
context-ok(ctxt) == allowed(ctxt)
Date html generated:
2020_05_20-PM-08_05_21
Last ObjectModification:
2020_02_23-PM-02_59_32
Theory : cubical!type!theory
Home
Index