mathlib

55102fc1 - chore(linear_algebra/matrix/adjugate): add missing `matrix.of` wrapper (#18736)