Theorem Matrix.adjugate_mul

Modification history