Theorem Bool.compl_singleton

Modification history

2025-09-16 10:17
Mathlib/Data/Bool/Set.lean
chore: grind annotations in Data/Bool (#29453)
Modified Bool.compl_singletonView on Github →
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 →