Nuprl Definition : qavg
qavg(a;b) == (a + b/2)
Definitions occuring in Statement :
qdiv: (r/s),
qadd: r + s,
natural_number: $n
Definitions occuring in definition :
qdiv: (r/s),
qadd: r + s,
natural_number: $n
FDL editor aliases :
qavg
Latex:
qavg(a;b) == (a + b/2)
Date html generated:
2016_05_15-PM-11_05_55
Last ObjectModification:
2015_09_23-AM-08_27_35
Theory : rationals
Home
Index