Nuprl Definition : mk-finite-nat-seq
f^(n) == <n, f>
Definitions occuring in Statement :
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>
FDL editor aliases :
mk-finite-nat-seq
Latex:
f\^{}(n) == <n, f>
Date html generated:
2016_05_14-PM-09_54_29
Last ObjectModification:
2016_01_15-AM-07_37_57
Theory : continuity
Home
Index