5 ms·

Here's your Lean proof https://github.com/google-deepmind/formal-conjectures/pull/4474/changes https://github.com/google-deepmind/formal-conjectures/pull/4...