Theorem ZFSet.mem_range_self

Modification history

2025-11-04 10:34
Mathlib/SetTheory/ZFC/Basic.lean
feat(SetTheory/ZFC): add `ZFSet.iUnion` (#30841) …
Modified ZFSet.mem_range_selfView on Github →
2025-07-28 07:12
Mathlib/SetTheory/ZFC/Basic.lean
feat(SetTheory/ZFC/VonNeumann): von Neumann hierarchy of sets (#26543) …
Added ZFSet.mem_range_selfView on Github →