Theorem: exercise1_3 (LeanCourse/Assignments/Assignment1.lean)

State before:
a b : ℝ
⊢ (a + b) * (a - b) = a ^ 2 - b ^ 2
Tactic:
sorry
State after:
no goals