Theorem IsLocalization.integerNormalization_coeff

Modification history