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

toContinuousLinearEquiv_symm

Mathlib.Analysis.Normed.Operator.LinearIsometry

URI: https://scilib.ai/kg/mathlib#LinearIsometryEquiv.toContinuousLinearEquiv_symm

← MathLib Explorer