Determinant/Transposed matrix/Universal property/Fact

Let ${}K$ denote a field, and let ${}M$ denote an ${}n\times n$-matrix over ${}K$.

Then

${}\det M=\det {M^{\text{tr}}}\,.$

Proof, Write another proof