Theorem ZFSet.rank_eq_wfRank

Modification history

2024-10-22 14:15

Mathlib/SetTheory/ZFC/Rank.lean

chore(SetTheory/Ordinal/Arithmetic): `WellFounded.rank` → `IsWellFounded.rank` (#16586) …

Modified ZFSet.rank_eq_wfRank View on Github →

2024-09-06 08:34

Mathlib/SetTheory/ZFC/Rank.lean

feat(SetTheory/ZFC): Add `PSet.rank` and `ZFSet.rank` (#15977) …

Added ZFSet.rank_eq_wfRank View on Github →