Theorem IsIntegral.exists_multiple_integral_of_isLocalization

Modification history