Commit 2021-10-22 15:58 3d237db7

feat(linear_algebra/matrix/determinant): det_conj_transpose (#9879) Also:

• Makes the arguments of ring_hom.map_det and alg_hom.map_det explicit, and removes them from the matrix namespace to enable dot notation.
• Adds ring_equiv.map_det and alg_equiv.map_det