_aux_Mathlib_LinearAlgebra_AffineSpace_AffineSubspace_Defs___macroRules_termLine[_,_,_]_1 — Mathlib · SciLib

∫ Утверждение 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

← MathLib Explorer