Theorem RestrictedProduct.continuous_eval

Modification history

2025-06-02 08:55
Mathlib/Topology/Algebra/RestrictedProduct.lean
feat: continuity of RestrictedProduct.map (#24915)
Added RestrictedProduct.continuous_evalView on Github →