Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-04-05 13:19 55102fc1

View on Github →

chore(linear_algebra/matrix/adjugate): add missing matrix.of wrapper (#18736)

Estimated changes