Theorem: Lec3After.my_lemma_ (LeanCourse/Lectures/Lecture3after.lean)

State before:
a b c : ℝ
h : a + b = a + c
⊢ b = c
Tactic:
exact add_left_cancel h
State after:
no goals