Theorem Matrix.derivative_det_one_add_X_smul

Modification history