Theorem Matrix.det_updateRow_smul

Modification history