Theorem imaginaryPart_smul

Modification history