Booleans #
This file proves various trivial lemmas about booleans and their relation to decidable propositions.
Tags #
bool, boolean, Bool, De Morgan
De Morgan's laws for booleans #
convert a ℕ
to a Bool
, 0 -> false
, everything else -> true
Instances For
@[simp]