[math-fun] determinant of determinants