Theorem Complex.re_qsmul

Modification history