Nuprl Definition : subset-trans
subset-trans(I;J;f;x) == λK,g. f ⋅ g
Definitions occuring in Statement :
nh-comp: g ⋅ f,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
nh-comp: g ⋅ f
FDL editor aliases :
subset-trans
Latex:
subset-trans(I;J;f;x) == \mlambda{}K,g. f \mcdot{} g
Date html generated:
2016_05_18-PM-01_37_33
Last ObjectModification:
2015_10_27-PM-06_53_59
Theory : cubical!type!theory
Home
Index