Theorem ZFSet.singleton_eq_pair_iff

Modification history

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