Nuprl Definition : rat-cube-intersection
c ⋂ d == λi.c i ⋂ d i
Definitions occuring in Statement :
rat-interval-intersection: I ⋂ J,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
apply: f a,
rat-interval-intersection: I ⋂ J,
lambda: λx.A[x]
FDL editor aliases :
rc-isect
rc-isect
Latex:
c \mcap{} d == \mlambda{}i.c i \mcap{} d i
Date html generated:
2019_10_29-AM-07_51_06
Last ObjectModification:
2019_10_17-PM-01_30_14
Theory : rationals
Home
Index