Theorem Matrix.det_updateCol_add

Modification history