lean_workbook_plus_66719

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

If $a \mid b$ and $c \mid d$ , then $ac \mid bd$ , right? Can you please explain more?

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_66719 (a b c d : ℕ) (hab : a ∣ b) (hcd : c ∣ d) : a*c ∣ b*d   :=  by sorry

Source