Theorem IsNoetherianRing.isArtinianRing_of_krullDimLE_zero

Modification history