# Commit 2022-07-19 03:29 58d7431d

View on Github →refactor(set_theory/zfc): `Union`

→ `sUnion`

(#15352)
The current `Union`

definitions more closely match `set.sUnion`

. We also change the notation to match.
See Zulip.

Mathlib v3 is deprecated. Go to Mathlib v4

refactor(set_theory/zfc): `Union`

→ `sUnion`

(#15352)
The current `Union`

definitions more closely match `set.sUnion`

. We also change the notation to match.
See Zulip.