Matrix_determinant_lemma loading ...