Theorem ZFSet.isTransitive_empty

Modification history

2025-05-25 12:30

Mathlib/SetTheory/ZFC/Ordinal.lean

chore(*): not_mem/nmem -> notMem (#25159)

Modified ZFSet.isTransitive_empty View on Github →

2024-11-19 22:02

Mathlib/SetTheory/ZFC/Ordinal.lean

feat(SetTheory/ZFC/Ordinal): Initial development of ordinals in ZFSet (#15793) …

Added ZFSet.isTransitive_empty View on Github →