Theorem: modus_ponens (Test/Bool/ModusPonens.lean)

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