Nuprl Definition : rceq

rceq(k;a;b) ==  rc-deq(k) a b


Definitions occuring in Statement :  rc-deq: rc-deq(k),  apply: f a
Definitions occuring in definition :  rc-deq: rc-deq(k),  apply: f a
FDL editor aliases :  rceq
Latex:
rceq(k;a;b)  ==    rc-deq(k)  a  b


Date html generated: 2019_10_29-AM-07_49_08
Last ObjectModification: 2019_10_28-AM-10_58_26

Theory : rationals


Home Index