Theorem Matrix.det_updateRow_smul_left

Modification history