Theorem Matrix.GeneralLinearGroup.mem_center_iff_val_mem_range_scalar

Modification history

2026-02-10 22:14
Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/Basic.lean
feat(GeneralLinearGroup): define `GeneralLinearGroup.scalar` (#34986) …
Added Matrix.GeneralLinearGroup.mem_center_iff_val_mem_range_scalarView on Github →