Theorem Matrix.det_one_add_smul

Modification history