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

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