Theorem hasProdUniformlyOn_univ_iff

Modification history

2025-11-24 19:42

Mathlib/Topology/Algebra/InfiniteSum/UniformOn.lean

feat(Algebra/InfiniteSum): `HasProdUniformly` and friends (#31293) …

Added hasProdUniformlyOn_univ_iff View on Github →