Theorem isNoetherian_def

Modification history