Theorem Algebra.FiniteType.isNoetherianRing

Modification history