mathlib

802c5b5a - feat(linear_algebra/determinant): various operations preserve the determinant (#7115)

feat(linear_algebra/determinant): various operations preserve the determinant (#7115) These are a couple of helper lemmas for computing the determinant of a Vandermonde matrix. Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>