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

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