mathlib

843240b0 - feat(linear_algebra/matrix): invariant basis number for matrices (#13845)

feat(linear_algebra/matrix): invariant basis number for matrices (#13845) This PR shows that invertible matrices over a ring with invariant basis number are square. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>