mathlib3

[Merged by Bors] - refactor(data/matrix/invertible): more results about invertible matrices

#19204

Closed