Comment by thejokeisonme

A lean proof and a paper proof can diverge. But the statements have to correspond. I think that is what "mistranslated" means here.