Theorem IsIntegrallyClosed.of_localization_submonoid

Modification history