mathlib

b9a94d69 - feat(linear_algebra/nonsingular_inverse): add stronger form of Cramer's rule (#4737)

feat(linear_algebra/nonsingular_inverse): add stronger form of Cramer's rule (#4737) Also renaming `cramer_transpose_eq_adjugate_mul_vec` --> `cramer_eq_adjugate_mul_vec` after the transpose was rendered redundant.