Nuprl Definition : update-provisional-context-I
X,v:I == provision(allowed(X); allow(X),v:I)
Definitions occuring in Statement :
update-cubical-context-I: ctxt,v:I,
allow: allow(x),
allowed: allowed(x),
provision: provision(ok; v)
Definitions occuring in definition :
provision: Error :provision,
allowed: Error :allowed,
update-cubical-context-I: ctxt,v:I,
allow: Error :allow
FDL editor aliases :
update-provisional-context-I
Latex:
X,v:I == provision(allowed(X); allow(X),v:I)
Date html generated:
2020_05_20-PM-08_09_00
Last ObjectModification:
2020_03_02-PM-02_54_48
Theory : cubical!type!theory
Home
Index