Theorem GaussianInt.toComplex_star

Modification history