List of forbidden translations extended to include Lean
Your solution isn't showing up for some reason. I added one so it wouldn't look weird, but still...
Approved, it looks funny.
Lean Translation Kumited - please accept :-D
pure magic that you do not need to look for the minimum value
As of now all x and y values are integers. If some solution doesn't return exact values, it's incorrect.
What's the point then to invent a wheel?