Theorem ZFSet.sUnion_pair

Modification history

2025-11-21 11:20
Mathlib/SetTheory/ZFC/Basic.lean
refactor(SetTheory/ZFC): deduplicate coercion to sets (#31287) …
Modified ZFSet.sUnion_pairView on Github →
2023-05-14 07:05
Mathlib/SetTheory/ZFC/Basic.lean
chore: Rename to `sSup`/`iSup` (#3938) …
Added ZFSet.sUnion_pairView on Github →