Theorem IsLocalization.exist_integer_multiples_of_finset

Modification history