Theorem Matrix.det_updateCol_smul_left

Modification history