Nuprl Definition : rc-deq

rc-deq(k) ==  finite-fun-deq(k;ri-deq())


Definitions occuring in Statement :  ri-deq: ri-deq()
Definitions occuring in definition :  ri-deq: ri-deq(),  finite-fun-deq: Error :finite-fun-deq
FDL editor aliases :  rc-deq
Latex:
rc-deq(k)  ==    finite-fun-deq(k;ri-deq())


Date html generated: 2019_10_29-AM-07_48_50
Last ObjectModification: 2019_10_18-PM-00_03_36

Theory : rationals


Home Index