Theorem Complex.im_qsmul

Modification history