mathlib3

162221fd - chore(set_theory/*): use `is_empty α` instead of `¬nonempty α` (#8276)