Theorem CStarModule.inner_smul_left_complex

Modification history