∫ Утверждение Mathlib
subset_span_trans
Mathlib.LinearAlgebra.Projectivization.Subspace
URI: https://scilib.ai/kg/mathlib#Projectivization.Subspace.subset_span_trans
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Projectivization.Subspace
URI: https://scilib.ai/kg/mathlib#Projectivization.Subspace.subset_span_trans