Nuprl Definition : qdeq

qdeq() ==  λa,b. qeq(a;b)


Definitions occuring in Statement :  qeq: qeq(r;s),  lambda: λx.A[x]
Definitions occuring in definition :  qeq: qeq(r;s),  lambda: λx.A[x]
FDL editor aliases :  qdeq
Latex:
qdeq()  ==    \mlambda{}a,b.  qeq(a;b)


Date html generated: 2019_10_29-AM-07_43_21
Last ObjectModification: 2019_10_18-AM-11_43_35

Theory : rationals


Home Index