∫ Утверждение Mathlib
span_singleton_generator
Mathlib.LinearAlgebra.Span.Defs
URI: https://scilib.ai/kg/mathlib#Submodule.IsPrincipal.span_singleton_generator
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Span.Defs
URI: https://scilib.ai/kg/mathlib#Submodule.IsPrincipal.span_singleton_generator