Theorem isSelfAdjoint_smul_of_mem_skewAdjoint

Modification history