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