Theorem realPart_add_I_smul_imaginaryPart

Modification history