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