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