Theorem Complex.re_nnqsmul

Modification history