Theorem IsLocalization.map_integerMultiple

Modification history