Theorem IsIntegralClosure.algebraMap_equiv

Modification history