Theorem FixedDetMatrix.ext

Modification history

2024-10-28 15:32

Mathlib/LinearAlgebra/Matrix/FixedDetMatrices.lean

feat: matrices with fixed determinant (#16159) …

Added FixedDetMatrix.ext View on Github →