Theorem GaussianInt.toComplex_one

Modification history