Nuprl Definition : cubical_context_val
cubical_context_val(ctxt;v) == let X,vs,f = ctxt in f v
Definitions occuring in Statement :
spreadn: spread3,
apply: f a
Definitions occuring in definition :
spreadn: spread3,
apply: f a
FDL editor aliases :
cubical_context_val
Latex:
cubical\_context\_val(ctxt;v) == let X,vs,f = ctxt in f v
Date html generated:
2020_05_20-PM-08_02_41
Last ObjectModification:
2020_02_25-PM-03_44_27
Theory : cubical!type!theory
Home
Index