Theorem: triv (Test/Bool/Triv.lean)

State before:
p : Bool
⊢ p = true → p = true
Tactic:
simp_all
State after:
no goals