Mathlib Changelog
v4
Changelog
About
Github
Theorem
UniformFun.continuousSMul_induced_of_range_bounded
Modification history
2024-06-13 08:41
Mathlib/Topology/Algebra/Module/UniformConvergence.lean
chore: split Mathlib.Topology.Algebra.UniformConvergence (#13738) …
Modified
UniformFun.continuousSMul_induced_of_range_bounded
View on Github →
2024-02-08 16:52
Mathlib/Topology/Algebra/UniformConvergence.lean
feat(Algebra/UniformConvergence): drop unneeded assumptions (#10321) …
Added
UniformFun.continuousSMul_induced_of_range_bounded
View on Github →