Theorem Matrix.GeneralLinearGroup.center_eq_range_units

Modification history

2026-02-10 22:14

Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/Basic.lean

feat(GeneralLinearGroup): define `GeneralLinearGroup.scalar` (#34986) …

Deleted Matrix.GeneralLinearGroup.center_eq_range_units View on Github →

2025-09-03 18:14

Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/Basic.lean

feat(Compactification/OnePoint): classify GL2 elements by fixed points (#28552) …

Added Matrix.GeneralLinearGroup.center_eq_range_units View on Github →