Theorem IsIntegralClosure.mk'_mul

Modification history