Theorem: le_false_iff (Etch/Verification/Misc.lean)

State before:
m : Type u → Type v
inst✝ : Monad m
⊢ ∀ {b : Bool}, b ≤ false ↔ b = false
Tactic:
decide
State after:
no goals