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