Documentation

Mathlib.Init.Data.Bool.Basic

Boolean operations #

In Lean 3 this file contained the definitions of cond, bor, band and bnot, the boolean functions. These are now in Lean 4 core or Std (as cond, or, and, not, xor).