$4^n\det_{\mathbb C}C_A$ as the determinant of the complex matrix $(A+\mathrm{Id})-iJ_0(A-\mathrm{Id})$

Initializing...

$4^n\det_{\mathbb C}C_A$ as the determinant of the complex matrix $(A+\mathrm{Id})-iJ_0(A-\mathrm{Id})$ · Prove2Me