Theorem IsLocalization.isInteger_one

Modification history