Theorem Matrix.det_eq_of_eq_mul_det_one

Modification history