Theorem isNoetherianRing_iff

Modification history