Theorem isNoetherian_of_fg_of_noetherian

Modification history