Theorem IsIntegrallyClosed.of_equiv

Modification history