Theorem Matrix.derivative_det_one_add_X_smul_aux

Modification history