Theorem: Bool.bne_eq_decide_ne (GMLInit/Data/Bool.lean)

State before:
x y z : Bool
⊢ x.bne y = decide (x ≠ y)
Tactic:
bool_tt x y
State after:
no goals