Nuprl Definition : rdiv
(x/y) == x * rinv(y)
Definitions occuring in Statement :
rinv: rinv(x),
rmul: a * b
Definitions occuring in definition :
rmul: a * b,
rinv: rinv(x)
FDL editor aliases :
rdiv
rdiv
Latex:
(x/y) == x * rinv(y)
Date html generated:
2016_05_18-AM-07_21_06
Last ObjectModification:
2015_09_23-AM-09_01_35
Theory : reals
Home
Index