Reference for CVX built-in function convexity proof

According to the CVX documentation det_inv is a Convex function. Is there any reference for this claim?

I understand det(A) is NOT convex or concave, but is log-concave according to the Mosek documentation.

The proof of convexity is always in the body of the cvx function where it constructs a conic model

This is the most relevant piece:

        epigraph variable y
        variable Z(n,n) lower_triangular complex
        D = diag( Z );
        [ diag( D ), Z' ; Z, X ] == hermitian_semidefinite(2*n); %#ok
        geo_mean( [ real( D ) ; y ], [], w ) >= 1; %#ok
1 Like