Theorem ZFSet.pair_eq_singleton

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 View on Github →