Mathlib Changelog
v4
Changelog
About
Github
Theorem
RestrictedProduct.continuous_dom_pi
Modification history
2025-06-03 12:54
Mathlib/Topology/Algebra/RestrictedProduct.lean
feat(Topology/RestrictedProduct): continuity of maps from finite product of restricted product (#25349) …
Added
RestrictedProduct.continuous_dom_pi
View on Github →