Nuprl Definition : ss-basic-whole
ss-basic-whole() == [<ss-const(r0), r1>]
Definitions occuring in Statement :
ss-const: ss-const(c),
int-to-real: r(n),
cons: [a / b],
nil: [],
pair: <a, b>,
natural_number: $n
Definitions occuring in definition :
cons: [a / b],
pair: <a, b>,
ss-const: ss-const(c),
int-to-real: r(n),
natural_number: $n,
nil: []
FDL editor aliases :
ss-basic-whole
Latex:
ss-basic-whole() == [<ss-const(r0), r1>]
Date html generated:
2020_05_20-PM-01_22_11
Last ObjectModification:
2018_07_06-PM-02_12_29
Theory : intuitionistic!topology
Home
Index