Nuprl Definition : seq-truncate

seq-truncate(s;n) ==  let k,f = s in <n, f>


Definitions occuring in Statement :  spread: spread def,  pair: <a, b>
Definitions occuring in definition :  spread: spread def,  pair: <a, b>
FDL editor aliases :  seq-truncate
Latex:
seq-truncate(s;n)  ==    let  k,f  =  s  in  <n,  f>


Date html generated: 2018_07_25-PM-01_28_34
Last ObjectModification: 2018_06_11-PM-11_27_56

Theory : arithmetic


Home Index