Theorem IsDedekindDomainInv.isNoetherianRing

Modification history