Theorem biUnion_Ici_Ico_map_succ

Modification history

2025-09-17 10:12
Mathlib/Order/SuccPred/IntervalSucc.lean
feat(Order): no basic lemmas and some SuccOrder `biUnion` lemmas (#27934) …
Added biUnion_Ici_Ico_map_succView on Github →