Lobachevsky also passed away in 1856, so I doubt he would be referred to as the colleague of anyone from the last hundred or so years before publication.

I did appreciate the reference to “Lobachevsky” by Tom Lehrer, though. (And who deserves the credit / And who deserves the blame? / Nikolai Ivanovich Lobachevsky is his name!)