mathlib

24403303 - feat(linear_algebra/matrix/determinant): det_pow (#8421)