lean_workbook_plus_35589
ProvedHow do we know that is strictly increasing?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_35589 : ∀ x y : ℝ, x < y → x^3 < y^3 := by sorry
Source
How do we know that is strictly increasing?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_35589 : ∀ x y : ℝ, x < y → x^3 < y^3 := by sorry