# mathlibdocumentation

data.complex.determinant

# Determinants of maps in the complex numbers as a vector space over ℝ#

This file provides results about the determinants of maps in the complex numbers as a vector space over ℝ.

@[simp]

The determinant of conj_ae, as a linear map.

@[simp]

The determinant of conj_ae, as a linear equiv.