Theorem Matrix.abs_det_reindex

Modification history

2025-04-10 16:38
Mathlib/LinearAlgebra/Matrix/Determinant/Basic.lean
chore: deprecate semibundled ordered algebraic typeclasses (#20676) …
Modified Matrix.abs_det_reindexView on Github →
2025-03-30 20:11
Mathlib/LinearAlgebra/Matrix/Determinant/Basic.lean
feat(Matrix): abs_det_reindex_self_self (#23421) …
Added Matrix.abs_det_reindexView on Github →