Theorem IsLocalization.isInteger_smul

Modification history