> what's the determinant of the 0x0 matrix (over your favourite field or ring)? 1, because 0x0 seems like a more elegant base case for the recursive det formul

> what's the determinant of the 0x0 matrix (over your favourite field or ring)? 1, because 0x0 seems like a more elegant base case for the recursive det formula than 1x1.