lean_workbook_plus_74145
ProvedProve that for any positive integer n, is a multiple of 100.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74145 : ∀ n : ℤ, 100 ∣ 100 * n := by sorry
Source
Prove that for any positive integer n, is a multiple of 100.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74145 : ∀ n : ℤ, 100 ∣ 100 * n := by sorry