Theorem Set.iUnion_sumElim

Modification history

2026-08-24 10:14
Mathlib/Data/Set/Lattice.lean
refactor(Data/Set): split long file Lattice.lean (#43030) …
Modified Set.iUnion_sumElimView on Github →
2026-03-24 21:53
Mathlib/Data/Set/Lattice.lean
feat(Topology): cardinality of connected components is bounded by cardinality of fiber (#23835) …
Added Set.iUnion_sumElimView on Github →