Theorem IsIntegralClosure.algebraMap_lift

Modification history