Theorem Matrix.mul_adjp_add_detp

Modification history