Theorem Finset.ciSup_union

Modification history

2026-05-15 11:00
Mathlib/Order/ConditionallyCompleteLattice/Finset.lean
feat(Order/ConditionallyCompleteLattice/Indexed): `iSup` of `sup`s vs `sup` of `iSup`s (#36169) …
Added Finset.ciSup_unionView on Github →