Nuprl Definition : qinv
1/r == let r' ⟵ r in if isint(r') then <1, r'> else let p,q = r' in <q, p> fi
Definitions occuring in Statement :
callbyvalueall: callbyvalueall,
ifthenelse: if b then t else f fi ,
bfalse: ff,
btrue: tt,
isint: isint def,
spread: spread def,
pair: <a, b>,
natural_number: $n
Definitions occuring in definition :
callbyvalueall: callbyvalueall,
ifthenelse: if b then t else f fi ,
isint: isint def,
btrue: tt,
bfalse: ff,
natural_number: $n,
spread: spread def,
pair: <a, b>
FDL editor aliases :
qinv
Latex:
1/r == let r' \mleftarrow{}{} r in if isint(r') then ə, r'> else let p,q = r' in <q, p> fi
Date html generated:
2016_05_15-PM-10_38_02
Last ObjectModification:
2015_09_23-AM-08_26_57
Theory : rationals
Home
Index