Theorem ZFSet.pair_eq_singleton_iff

Modification history

2024-11-19 08:43
Mathlib/SetTheory/ZFC/Basic.lean
feat(SetTheory/ZFC/Basic): results on pairs (#19144) …
Added ZFSet.pair_eq_singleton_iffView on Github →