lean_workbook_plus_40067
DisprovedProve .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_40067 : ∀ a b : ℝ, Int.floor (2 * a + 2 * b) ≥ Int.floor (a + b) := by sorry
Source
Prove .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_40067 : ∀ a b : ℝ, Int.floor (2 * a + 2 * b) ≥ Int.floor (a + b) := by sorry