Theorem IsIntegralClosure.isNoetherianRing

Modification history