fix typos and finally add a proof for determinant
remove todo on det