Theorem: conjunction (Test/Bool/Conjunction.lean)

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