Theorem GaussianInt.toComplex_def

Modification history