Theorem IsLocalization.isInteger_add

Modification history