Theorem Matrix.det_mul_left_comm

Modification history