Commit 2024-05-04 10:43 b02c426e
View on Github →chore(LinearAlgebra): format/add dates to remaining deprecations (#12407)
- aim for the deprecation date on the same line as the attribute (this is easier to search).
- dates were found using mathlib-changelog