Nuprl Definition : ri-deq
ri-deq() == product-deq(ℚ;ℚ;qdeq();qdeq())
Definitions occuring in Statement :
qdeq: qdeq(),
rationals: ℚ,
product-deq: product-deq(A;B;a;b)
Definitions occuring in definition :
qdeq: qdeq(),
rationals: ℚ,
product-deq: product-deq(A;B;a;b)
FDL editor aliases :
ri-deq
Latex:
ri-deq() == product-deq(\mBbbQ{};\mBbbQ{};qdeq();qdeq())
Date html generated:
2019_10_29-AM-07_46_34
Last ObjectModification:
2019_10_18-AM-11_47_16
Theory : rationals
Home
Index