Theorem IsLocalization.exists_integer_multiple

Modification history