Nuprl Definition : roiint
(l, ∞) == <inl (inr l ), inr ⋅ >
Definitions occuring in Statement :
it: ⋅,
pair: <a, b>,
inr: inr x ,
inl: inl x
Definitions occuring in definition :
pair: <a, b>,
inl: inl x,
inr: inr x ,
it: ⋅
FDL editor aliases :
roiint
roiint
Latex:
(l, \minfty{}) == <inl (inr l ), inr \mcdot{} >
Date html generated:
2016_05_18-AM-08_21_59
Last ObjectModification:
2015_09_23-AM-09_06_23
Theory : reals
Home
Index