Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-09-06 13:50
04ea0a4b
View on Github →
feat:
det_vandermonde_add
and
det_vandermonde_sub
(
#6812
)
Estimated changes
Modified
Mathlib/LinearAlgebra/Vandermonde.lean
added
theorem
Matrix.det_vandermonde_add
added
theorem
Matrix.det_vandermonde_sub