Theorem: trueOrFalse (Fpil/Chap03/Sec00.lean)

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