Theorem: a_silly_theorem (LoVe/Lectures/LoVeXX_ALookUnderTheHood_Demo.lean)

State before:
⊢ True
Tactic:
simp
State after:
no goals