Theorem isNoetherian_iff_fg_wellFounded

Modification history