Theorem GaussianInt.toComplex_def₂

Modification history