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