Theorem Matrix.det_updateColumn_smul_left

Modification history