Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-21 15:43 14ec1c8e

View on Github →

feat(linear_algebra/matrix/nonsingular_inverse): adjugate of a 2x2 matrix (#9830) Since we have det_fin_two, let's have adjugate_fin_two as well.

Estimated changes