Theorem Matrix.det_map'

Modification history

2026-06-29 22:55
Mathlib/LinearAlgebra/Determinant.lean
feat(LinearAlgebra): fill two proof_wanted declarations (#39046) …
Added Matrix.det_map'View on Github →