Theorem HasProdUniformlyOn.congr_right

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_right View on Github →