Theorem isNoetherian_iff_submodule_quotient

Modification history