Theorem Matrix.det_one

Modification history