Theorem Matrix.det_mul

Modification history