Theorem Matrix.det_smul_inv_vecMul_eq_cramer_transpose

Modification history