Theorem GaussianInt.toComplex_neg

Modification history