Theorem PSet.rank_empty

Modification history

2024-12-20 06:52
Mathlib/SetTheory/ZFC/Rank.lean
chore: further backports for leanprover/lean4#6397 (#20098)
Modified PSet.rank_emptyView on Github →
2024-09-06 08:34
Mathlib/SetTheory/ZFC/Rank.lean
feat(SetTheory/ZFC): Add `PSet.rank` and `ZFSet.rank` (#15977) …
Added PSet.rank_emptyView on Github →