Nuprl Definition : qdiv
(r/s) == r * 1/s
Definitions occuring in Statement :
qinv: 1/r,
qmul: r * s
Definitions occuring in definition :
qmul: r * s,
qinv: 1/r
FDL editor aliases :
qdiv
Latex:
(r/s) == r * 1/s
Date html generated:
2016_05_15-PM-10_39_16
Last ObjectModification:
2015_09_23-AM-08_26_59
Theory : rationals
Home
Index