Theorem: Hw7.problem_1 (BrownCs22/Homework/Hw7.lean)

State before:
a b c d : ℕ
⊢ a ≤ b → c < d → a + c < b + d
Tactic:
sorry
State after:
no goals