Theorem: HW4.problem_2 (BrownCs22/Homework/Hw4.lean)

State before:
⊢ Surjective f
Tactic:
sorry
State after:
no goals