Nuprl Definition : int_part_decomp
int_part_decomp(q) == rat-int-part(q)
Definitions occuring in Statement :
rat-int-part: rat-int-part(q)
Definitions occuring in definition :
rat-int-part: rat-int-part(q)
FDL editor aliases :
int_part_decomp
Latex:
int\_part\_decomp(q) == rat-int-part(q)
Date html generated:
2016_05_15-PM-11_39_59
Last ObjectModification:
2015_09_23-AM-08_31_07
Theory : rationals
Home
Index