Nuprl Definition : rooint
(l, u) == <inl (inr l ), inl (inr u )>
Definitions occuring in Statement :
pair: <a, b>
,
inr: inr x
,
inl: inl x
Definitions occuring in definition :
pair: <a, b>
,
inl: inl x
,
inr: inr x
FDL editor aliases :
rooint
rooint
Latex:
(l, u) == <inl (inr l ), inl (inr u )>
Date html generated:
2016_05_18-AM-08_21_32
Last ObjectModification:
2015_09_23-AM-09_06_18
Theory : reals
Home
Index