Theorem Matrix.nondegenerate_transpose_iff

Modification history

2026-07-01 17:54

Mathlib/LinearAlgebra/Matrix/Nondegenerate.lean

feat(LinearAlgebra/Matrix/Nondegenerate): more API and generalize to non-domains (#39634) …

Added Matrix.nondegenerate_transpose_iff View on Github →