Theorem: example_1 (BrownCs22/Homework/Hw1Sols.lean)

State before:
p : Prop
⊢ p → p → p
Tactic:
sorry
State after:
no goals