Theorem ZFSet.rank_iUnion

Modification history

2025-11-04 10:34
Mathlib/SetTheory/ZFC/Rank.lean
feat(SetTheory/ZFC): add `ZFSet.iUnion` (#30841) …
Added ZFSet.rank_iUnionView on Github →