Theorem ZFSet.rank_union

Modification history

2024-09-06 08:34
Mathlib/SetTheory/ZFC/Rank.lean
feat(SetTheory/ZFC): Add `PSet.rank` and `ZFSet.rank` (#15977) …
Added ZFSet.rank_unionView on Github →