Theorem: project.Bool.not_eq_false' (Project/Merge.lean)

State before:
α : Sort ?u.15922
le : α → α → Bool
not_le_le : ∀ (x y : α), ¬le x y = true → le y x = true
x : Bool
⊢ (!x) = false ↔ x = true
Tactic:
cases x <;> simp
State after:
no goals