instNormedSpaceRestrictScalarsReal — Mathlib · SciLib

∫ Утверждение Mathlib

instNormedSpaceRestrictScalarsReal

Mathlib.Analysis.RCLike.Extend

URI: https://scilib.ai/kg/mathlib#LinearMap.instNormedSpaceRestrictScalarsReal

← MathLib Explorer