Theorem IsIntegrallyClosed.of_localization

Modification history