Theorem GaussianInt.to_real_im

Modification history