Theorem isNoetherian_iff_wellFounded

Modification history