Theorem: exercise2_4 (LeanCourse/Assignments/Assignment2.lean)

State before:
f g : ℝ → ℝ
x : ℝ
hf : SurjectiveFunction f
⊢ SurjectiveFunction fun x => 2 * f (3 * (x + 4)) + 1
Tactic:
sorry
State after:
no goals