lean_workbook_plus_33371
ProvedHow did we get ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33371 : ∀ z : ℂ, ‖3 * z ^ 2 + 12 * z‖ ≤ ‖3 * z ^ 2‖ + ‖12 * z‖ := by sorry
Source
How did we get ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_33371 : ∀ z : ℂ, ‖3 * z ^ 2 + 12 * z‖ ≤ ‖3 * z ^ 2‖ + ‖12 * z‖ := by sorry