lean_workbook_plus_57256
ProvedProve that for all integers , .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_57256 : ∀ a : ℤ, a^4 ≥ a^3 := by sorry
Source
Prove that for all integers , .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_57256 : ∀ a : ℤ, a^4 ≥ a^3 := by sorry