Kind of late to the party, but the (weak) contractibility follows from pi_i(S^\infty) = 0 for i>0.
Ilya Nikokoshev
- 15.1k
- 12
- 77
- 129