Nuprl Definition : contextof

contextof(X) ==  allow(X)


Definitions occuring in Statement :  allow: allow(x)
Definitions occuring in definition :  allow: allow(x)
FDL editor aliases :  contextof
Latex:
contextof(X)  ==    allow(X)


Date html generated: 2020_05_20-PM-08_04_00
Last ObjectModification: 2020_05_18-AM-09_41_32

Theory : cubical!type!theory


Home Index