Nuprl Definition : nth-rational

nth-rational(n) ==  (fst(TERMOF{equipollent-nat-rationals-ext:o, 1:l})) n


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi1: fst(t)
TermOfs occuring in Definition :  equipollent-nat-rationals-ext
FDL editor aliases :  nth-rational
Latex:
nth-rational(n)  ==    (fst(TERMOF\{equipollent-nat-rationals-ext:o,  1:l\}))  n


Date html generated: 2016_05_15-PM-10_40_28
Last ObjectModification: 2015_09_23-AM-08_27_02

Theory : rationals


Home Index