Theorem Matrix.adjugate_mul_distrib_aux

Modification history