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

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