Mathlib Changelog
v4
Changelog
About
Github
Theorem
ContinuousMultilinearMap.uniformContinuous_restrictScalars
Modification history
2024-09-08 03:59
Mathlib/Topology/Algebra/Module/Multilinear/Topology.lean
feat: generalize `ContinuousMultilinearMap.restrictScalarsLinear` (#16110) …
Added
ContinuousMultilinearMap.uniformContinuous_restrictScalars
View on Github →