Theorem imaginaryPart_I_smul

Modification history