Nuprl Definition : seq-nil
seq-nil() == <0, ⋅>
Definitions occuring in Statement :
it: ⋅,
pair: <a, b>,
natural_number: $n
Definitions occuring in definition :
it: ⋅,
natural_number: $n,
pair: <a, b>
FDL editor aliases :
seq-nil
Latex:
seq-nil() == ɘ, \mcdot{}>
Date html generated:
2018_07_25-PM-01_29_21
Last ObjectModification:
2018_06_18-PM-01_57_44
Theory : arithmetic
Home
Index