Nuprl Definition : unit-fps
*1* == [1]
Definitions occuring in Statement :
cons: [a / b],
nil: [],
natural_number: $n
Definitions :
cons: Error :cons def,
natural_number: $n,
nil: Error :nil def
FDL editor aliases :
unit-fps
*1* == [1]
Date html generated:
2015_07_17-AM-07_57_56
Last ObjectModification:
2008_02_27-PM-05_47_07
Home
Index