Theorem: verum (Test/Bool/Verum.lean)

State before:
⊢ true = true
Tactic:
simp_all
State after:
no goals