Theorem selfAdjointPart_comp_subtype_selfAdjoint

Modification history