Theorem: assoc (Test/Bool/Assoc.lean)

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