Nuprl Definition : riiint

(-∞, ∞) ==  <inr ⋅ , inr ⋅ >


Definitions occuring in Statement :  it: ⋅,  pair: <a, b>,  inr: inr x 
Definitions occuring in definition :  pair: <a, b>,  inr: inr x ,  it: ⋅
FDL editor aliases :  riiint riiint
Latex:
(-\minfty{},  \minfty{})  ==    <inr  \mcdot{}  ,  inr  \mcdot{}  >


Date html generated: 2016_05_18-AM-08_37_12
Last ObjectModification: 2015_09_23-AM-09_06_41

Theory : reals


Home Index