Comment by Jaxan

They mean a different statement, a different theorem. You have to understand that translating a theorem written in English text to lean code is also a non trivial step.