Theorem IsIntegralClosure.isLocalization

Modification history