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