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

State before:
f g : ℝ → ℝ
x : ℝ
hf : SurjectiveFunction f
⊢ SurjectiveFunction (g ∘ f) ↔ SurjectiveFunction g
Tactic:
sorry
State after:
no goals