Theorem skewAdjointPart_eq_I_smul_imaginaryPart

Modification history