Theorem HasProdUniformlyOn.congr

Modification history

2025-06-08 14:36

Mathlib/Topology/Algebra/InfiniteSum/UniformOn.lean

feat(Topology/Algebra/InfiniteSum/UniformOn): add congr lemmas (#25446) …

Added HasProdUniformlyOn.congr View on Github →