∫ Утверждение Mathlib
_aux_Mathlib_LinearAlgebra_Matrix_GeneralLinearGroup_Defs___macroRules_MatrixGroups_termGL(_,_)⁺_1
Mathlib.LinearAlgebra.Matrix.GeneralLinearGroup.Defs
URI: https://scilib.ai/kg/mathlib#MatrixGroups._aux_Mathlib_LinearAlgebra_Matrix_GeneralLinearGroup_Defs___macroRules_MatrixGroups_termGL(_,_)⁺_1