Theorem ZFSet.iUnion_vonNeumann

Modification history

2026-09-30 18:47
Mathlib/SetTheory/ZFC/VonNeumann.lean
refactor(SetTheory/ZFC): make `Class` an `abbrev` for `Set ZFSet` (#43467) …
Modified ZFSet.iUnion_vonNeumannView on Github →
2025-07-28 07:12
Mathlib/SetTheory/ZFC/VonNeumann.lean
feat(SetTheory/ZFC/VonNeumann): von Neumann hierarchy of sets (#26543) …
Added ZFSet.iUnion_vonNeumannView on Github →