reinstate IGiveUp

leanprover-community · Oct 22, 2023 · b8e530f · b8e530f
1 parent 7944403
commit b8e530f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Game/Levels/Power/L10FLT.lean b/Game/Levels/Power/L10FLT.lean
@@ -37,7 +37,7 @@ and which explains how to work with many more mathematical concepts in Lean.
 $$(a+1)^{n+3}+(b+1)^{n+3}\not=(c+1)^{n+3}.$$ -/
 Statement
     (a b c n : ℕ) : (a + 1) ^ (n + 3) + (b + 1) ^ (n + 3) ≠ (c + 1) ^ (n + 3) := by
-  sorry
+  IGiveUp
 
 --NewHiddenTactic IGiveUp
 LemmaTab "Pow"