ChatGPT - Reverse Equality in Lean