Basic lemmas about the general linear group $GL(n, R)$ #
This file lists various basic lemmas about the general linear group $GL(n, R)$. For the definitions,
see LinearAlgebra/Matrix/GeneralLinearGroup/Defs.lean
.
This file lists various basic lemmas about the general linear group $GL(n, R)$. For the definitions,
see LinearAlgebra/Matrix/GeneralLinearGroup/Defs.lean
.