History of non-Euclidean geometry