Batman's Kitchen
I love lean 2
Run it back.
example (a b c n) : (a + 1) ^ (n + 3) + (b + 1) ^ (n + 3) ≠ (c + 1) ^ (n + 3) :=
Tip: Use live.lean-lang.org to test your solve
Batman's Kitchen
Run it back.
example (a b c n) : (a + 1) ^ (n + 3) + (b + 1) ^ (n + 3) ≠ (c + 1) ^ (n + 3) :=
Tip: Use live.lean-lang.org to test your solve