Determinant/Transposed matrix/Universal property/Fact