Theorem Matrix.Pivot.listTransvecCol_get

Modification history

2025-03-04 03:24
Mathlib/LinearAlgebra/Matrix/Transvection.lean
chore: remove >6 month old deprecations (#22473)
Deleted Matrix.Pivot.listTransvecCol_getView on Github →
2024-07-18 09:55
Mathlib/LinearAlgebra/Matrix/Transvection.lean
chore(Matrix/Transvection): add `length`/`get` lemmas (#14777)
Added Matrix.Pivot.listTransvecCol_getView on Github →