Theorem Matrix.det_one_add_X_smul

Modification history