Nuprl Definition : nat-to-incomparable
nat-to-incomparable(n) == nat-to-str(n) @ [/]
Definitions occuring in Statement :
nat-to-str: nat-to-str(n),
append: as @ bs,
cons: [a / b],
nil: [],
token: "$token"
Definitions occuring in definition :
append: as @ bs,
nat-to-str: nat-to-str(n),
cons: [a / b],
token: "$token",
nil: []
FDL editor aliases :
nat-to-incomparable
Latex:
nat-to-incomparable(n) == nat-to-str(n) @ [/]
Date html generated:
2016_05_14-PM-03_36_08
Last ObjectModification:
2015_09_22-PM-06_01_24
Theory : decidable!equality
Home
Index