Theorem UniformOnFun.continuousSMul_submodule_of_image_bounded
Modification history
2024-06-13 08:41
Mathlib/Topology/Algebra/Module/UniformConvergence.lean
chore: split Mathlib.Topology.Algebra.UniformConvergence (#13738) …
Modified UniformOnFun.continuousSMul_submodule_of_image_boundedView on Github →