Determinant/Transposed matrix/Universal property/Fact

Let denote a field, and let denote an -matrix over .

Then