mathlib

fc63bdd3 - chore(linear_algebra/matrix/hermitian): move `matrix.conj_transpose_map` to the same file as `matrix.transpose_map` (#15297)

chore(linear_algebra/matrix/hermitian): move `matrix.conj_transpose_map` to the same file as `matrix.transpose_map` (#15297) Also restates the hypothesis using `function.semiconj` since that has more API and is definitionally easier to work with.