Theorem Complex.exp_nsmul

Modification history