Nuprl Definition : unit-fps
*1* == [1]
Definitions occuring in Statement :
cons: [a / b],
nil: [],
natural_number: $n
FDL editor aliases :
unit-fps
Latex:
*1* == [1]
Date html generated:
2016_05_15-PM-11_44_43
Last ObjectModification:
2008_02_27-PM-05_47_07
Theory : randomness
Home
Index