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 →