Lobachevsky... "the analytic and algebraic topology of locally Euclidean metrizations of infinitely differentiable Riemannian manifolds"