Theorem ZFSet.vonNeumann_mem_of_lt

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