Theorem Bool.compl_singleton

Modification history

2023-01-31 07:39
Mathlib/Data/Bool/Set.lean
Feat: add `Bool.compl_singleton_*` and `Set.range_in{l,r}` (#1955) …
Added Bool.compl_singletonView on Github →