Theorem Matrix.scalar_commute_iff

Modification history

2024-03-24 09:17

Mathlib/Data/Matrix/Basic.lean

style: remove redundant instance arguments (#11581) …

Modified Matrix.scalar_commute_iff View on Github →

2024-02-13 15:17

Mathlib/Data/Matrix/Basic.lean

feat(LinearAlgebra/Matrix): scalar if commutes with every nontrivial transvection (#7815) …

Added Matrix.scalar_commute_iff View on Github →