Theorem isNoetherian_of_ker_bot

Modification history