Theorem Matrix.det_updateColumn_smul

Modification history