feat(linear_algebra/matrix/nonsingular_inverse): adjugate of a 2x2 matrix (#9830)
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.






leanprover-community/mathlib,leanprover-community/mathlib