lean_workbook_plus_57998
ProvedThe least multiple of greater than is .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_57998 : IsLeast { n : ℕ | 1000 < n ∧ 56∣n } 1008 := by sorrySource
The least multiple of greater than is .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_57998 : IsLeast { n : ℕ | 1000 < n ∧ 56∣n } 1008 := by sorry