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