Theorem Set.sUnion_finite_eq_univ

Modification history

2025-11-19 02:28
Mathlib/Data/Set/Finite/Lemmas.lean
feat(Analysis): the topology of pointwise convergence is locally convex (#31577) …
Added Set.sUnion_finite_eq_univView on Github →