endspace and other crap

Mwahahaahaha you must deal with ordinals in the end(space)

@BalarkaSen "how many levels of indexes are you on? Uhm, 1 or 2? you're like a little child, watch this"

This means $K_{r(e_{n_k}, e_{m_k})} \subset K_{r(e_{n_{k+1}}, e_{m_{k+1}})}$ by our chosen increasing exhaustion $K_\alpha$.

By the way that's only tangentially related but do you have a good source that proves that the horned sphere is actually a sphere?

Yup, Hatcher section 2.B