Theorem: falsum (Test/Bool/Falsum.lean)

State before:
⊢ (!false) = true
Tactic:
simp_all
State after:
no goals