Theorem: exercise3_1 (LeanCourse/Assignments/Assignment3.lean)

State before:
p : Prop
⊢ p ∨ ¬p
Tactic:
sorry
State after:
no goals