Theorem IsLocalization.isInteger_mul

Modification history