Theorem IsIntegralClosure.mk'_algebraMap

Modification history