Theorem Matrix.det_smul_of_tower

Modification history

2025-03-20 16:17

Mathlib/LinearAlgebra/Matrix/Determinant/Basic.lean

feat: generalize Mathlib.LinearAlgebra.Matrix (#23144) …

Modified Matrix.det_smul_of_tower View on Github →

2023-04-20 10:27

Mathlib/LinearAlgebra/Matrix/Determinant.lean

feat: port LinearAlgebra.Matrix.Determinant (#3540)

Added Matrix.det_smul_of_tower View on Github →