Theorem ZFSet.lt_rank_iff

Modification history

2024-09-06 08:34

Mathlib/SetTheory/ZFC/Rank.lean

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

Added ZFSet.lt_rank_iff View on Github →