∫ Утверждение Mathlib
_aux_Mathlib_LinearAlgebra_AffineSpace_AffineSubspace_Defs___macroRules_termLine[_,_,_]_1
Mathlib.LinearAlgebra.AffineSpace.AffineSubspace.Defs
URI: https://scilib.ai/kg/mathlib#_aux_Mathlib_LinearAlgebra_AffineSpace_AffineSubspace_Defs___macroRules_termLine[_,_,_]_1