Theorem GaussianInt.toComplex_re

Modification history