Theorem FixedDetMatrices.ext

Modification history

2025-07-04 07:44

Mathlib/LinearAlgebra/Matrix/FixedDetMatrices.lean

chore: further whitespace fixes (#26708) …

Modified FixedDetMatrices.ext View on Github →

2024-12-13 07:53

Mathlib/LinearAlgebra/Matrix/FixedDetMatrices.lean

feat: representatives for the `FixedDetMatrices` under SL action (#16160) …

Added FixedDetMatrices.ext View on Github →