mathlib
bdcb7310 - feat(linear_algebra/matrix/adjugate): det_adjugate and adjugate_adjugate (#9991)

Commit
4 years ago
feat(linear_algebra/matrix/adjugate): det_adjugate and adjugate_adjugate (#9991) This also adds `matrix.mv_polynomial_X`
Author
Parents
Loading