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

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