In 1840, Ferdinand Minding already considered geodesic triangles on the pseudosphere and remarked that the corresponding "trigonometric formulas" are obtained from the corresponding formulas of spherical trigonometry by replacing the usual trigonometric functions with hyperbolic functions; this was further developed by Delfino Codazzi in 1857, but apparently neither of them noticed the association with Lobachevsky's work.