Theorem selfAdjointPart_comp_subtype_skewAdjoint

Modification history