basic): `mem_empty` → `not_mem_empty` (#18262)

Commit

3 years ago

chore(set_theory/zfc/basic): `mem_empty` → `not_mem_empty` (#18262) Matches `set.not_mem_empty`.

Author

vihdzp

Parents