Theorem Matrix.det_eq_of_eq_det_one_mul

Modification history