Theorem GaussianInt.intCast_re

Modification history