Nuprl Definition : ratmul
ratmul(a;b) == ratreduce(rat-mul(a;b))
Definitions occuring in Statement :
rat-mul: rat-mul(x;y),
ratreduce: ratreduce(x)
Definitions occuring in definition :
ratreduce: ratreduce(x),
rat-mul: rat-mul(x;y)
FDL editor aliases :
ratmul
Latex:
ratmul(a;b) == ratreduce(rat-mul(a;b))
Date html generated:
2019_10_30-AM-09_21_41
Last ObjectModification:
2019_01_10-PM-01_43_00
Theory : reals
Home
Index