Commit 2024-09-06 08:34 c7cbb887
View on Github →feat(SetTheory/ZFC): Add PSet.rank
and ZFSet.rank
(#15977)
Add ordinal ranks of PSet
and ZFSet
.
feat(SetTheory/ZFC): Add PSet.rank
and ZFSet.rank
(#15977)
Add ordinal ranks of PSet
and ZFSet
.