mathlib
ed60ee25 - feat(data/{bool,set}): add 3 lemmas (#18332)

Commit

3 years ago

feat(data/{bool,set}): add 3 lemmas (#18332) Add `bool.compl_singleton`, `set.range_inl`, and `set.range_inr`.

Author

urkud

Parents