∫ Утверждение Mathlib
toSpanNonzeroSingleton_coord
Mathlib.Analysis.Normed.Module.Span
URI: https://scilib.ai/kg/mathlib#ContinuousLinearEquiv.toSpanNonzeroSingleton_coord
∫ Утверждение Mathlib
Mathlib.Analysis.Normed.Module.Span
URI: https://scilib.ai/kg/mathlib#ContinuousLinearEquiv.toSpanNonzeroSingleton_coord