Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-09-16 12:17
0a7fa4c0
View on Github →
chore: use
Matrix.of
in
Matrix.vandermonde
. (
#16850
)
Estimated changes
Modified
Mathlib/LinearAlgebra/Vandermonde.lean
modified
def
Matrix.vandermonde