∫ Утверждение Mathlib
liftQSpanSingleton
Mathlib.LinearAlgebra.Quotient.Basic
URI: https://scilib.ai/kg/mathlib#Submodule.liftQSpanSingleton
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Quotient.Basic
URI: https://scilib.ai/kg/mathlib#Submodule.liftQSpanSingleton