Lean proof: ( A → ( B → C ) ) → ( A ∧ B → C )