Theorem: C02S04.aux (LeanInRome/S2_Basics/S04_More_on_Order_and_Divisibility.lean)

State before:
a b c d : ℝ
⊢ min a b + c ≤ min (a + c) (b + c)
Tactic:
sorry
State after:
no goals