mathlib documentation

data.bool.set

Booleans and set operations #

This file contains two trivial lemmas about bool, set.univ, and set.range.

@[simp]
@[simp]
theorem bool.range_eq {α : Type u_1} (f : bool → α) :