A corrected quantitative version of the Morse lemma

Understand

There is a gap in the proof of the main theorem in the article [ShCh13a] on optimal bounds for the Morse lemma in Gromov-hyperbolic spaces.

• We correct this gap, showing that the main theorem of [ShCh13a] is correct.
• We also describe a computer certification of this result.