Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-24 05:36 b9a94d69

View on Github →

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.

Estimated changes