Theorem Complex.smul_re

Modification history