Theorem ZFSet.vonNeumann_subset_vonNeumann_iff

Modification history

2025-07-28 07:12
Mathlib/SetTheory/ZFC/VonNeumann.lean
feat(SetTheory/ZFC/VonNeumann): von Neumann hierarchy of sets (#26543) …
Added ZFSet.vonNeumann_subset_vonNeumann_iffView on Github →