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

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