Absorption of a finite-dimensional summand by c0 (source code)

= Absorption of a finite-dimensional summand by c0

The map $(x_n)\mapsto(\lim x_n,x_1-\lim x_n,x_2-\lim x_n,\ldots)$ proves $c\cong c_0$, equivalently $c_0\oplus\mathbb F\cong c_0$.