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