Nuprl Definition : truncate
|x| == x
FDL editor aliases
:
truncate
Latex:
|x| == x
Date html generated: 2019_06_20-PM-00_32_46
Last ObjectModification: 2018_11_16-AM-11_13_59
Theory :
quot_1
Home
Index