Theorem: HW2.problem_3 (BrownCs22/Homework/Hw2.lean)

State before:
⊢ ∀ (x : ℕ), x ∣ 10 → x ∣ 100
Tactic:
sorry
State after:
no goals