Theorem: simplification (Test/Bool/Simplification.lean)

State before:
p q : Bool
⊢ (p && q) = true → p = true
Tactic:
cases p <;> simp_all
State after:
no goals