Theorem Matrix.det_permute

Modification history

2023-04-20 10:27

Mathlib/LinearAlgebra/Matrix/Determinant.lean

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

Added Matrix.det_permute View on Github →